Synonyme wurden verwendet für:
Theorie
Suche ohne Synonyme:
keywords:("Theorie")
The Landing Gear Case Study in Hybrid Event-B
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
Landing Gear System: An ASM-Based Solution for the ABZ Case Study
Context-Aware Verification of a Landing Gear System
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
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
Modeling an Aircraft Landing System in Event-B
Modeling a Landing Gear System in Event-B
The Landing Gear System Case Study
Co-simulation Environment for Rodin: Landing Gear Case Study
Validation of the ABZ Landing Gear System Using ProB
Umfeldrepräsentation für zukünftige Fahrerassistenzsysteme
Research on the Equilibrium of Train Crew Scheduling Plan of Motor Train Set
Information and decision fusion systems for aircraft structural health monitoring
CAE-basierte Abstimmung bezüglich des Fahrzeug-Leistungsverhaltens und der Getriebelebensdauer
Urban traffic signal control based on distributed constraint satisfaction
Using knowledge in a logistical multi-agent scenario