Adapting the UPPAAL Model of a Distributed Lift System

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-75698-9_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Didactic Model of Lift

TECHNICAL SCIENCES AND TECHNOLOG IES
2018English

A Distributed Simulation Model of Air Traffic in the National Airspace System

English

A Distributed-Delay Model for the Local Population Dynamics of a Parasitoid-Host System

Mathematical Approaches to Problems in Resource Management and Epidemiology
1989English

Uppaal in 1995

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Adapting a Semantic Question Answering System to the Web

2006English

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Flight Mechanics Model for Spanwise Lift and Rolling Moment Distributions of a Segmented Active High-Lift Wing

CEAS Aeronautical Journal
TransportationAerospace Engineering
2017English

A Simplified Approach to Soft System Design Adapting Soft System Methodology

2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy