Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Allard Kakebeen
Adapting the UPPAAL Model of a Distributed Lift System
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Didactic Model of Lift
TECHNICAL SCIENCES AND TECHNOLOG IES
A Distributed Simulation Model of Air Traffic in the National Airspace System
A Distributed-Delay Model for the Local Population Dynamics of a Parasitoid-Host System
Mathematical Approaches to Problems in Resource Management and Epidemiology
Uppaal in 1995
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Adapting a Semantic Question Answering System to the Web
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Flight Mechanics Model for Spanwise Lift and Rolling Moment Distributions of a Segmented Active High-Lift Wing
CEAS Aeronautical Journal
Transportation
Aerospace Engineering
A Simplified Approach to Soft System Design Adapting Soft System Methodology