Synonyms were used for:
WISSENSCHAFT
Search without synonyms:
keywords:(WISSENSCHAFT)
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
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
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module