Synonyme wurden verwendet für:
science
Suche ohne Synonyme:
keywords:(science)
Landing Gear System: An ASM-Based Solution for the ABZ Case Study
Context-Aware Verification of a Landing Gear System
The Landing Gear Case Study in Hybrid Event-B
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
Co-simulation Environment for Rodin: Landing Gear Case Study
Modeling an Aircraft Landing System in Event-B
Modeling a Landing Gear System in Event-B
The Landing Gear System Case Study
Validation of the ABZ Landing Gear System Using ProB
Multiobjective Optimization for Electric Drives Design in Solar-Powered Ultralight Aircrafts
Situational Awareness based Neural Flight Control of a Coaxial Rotor/Ducted-Fan Helicopter
Plenary Lecture 3: Automotive Hybrid Systems Used in Traction
Plenary Lecture 5: Night Vision Systems for Pedestrian Safety from Road Traffic
Analyses of Dynamics of Purogangri Ice Cap (Central Tibetan Plateau) by Means of SAR Interferometry