Synonyms were used for:
Sprache
•
formale Sprache
Search without synonyms:
keywords:(formale Sprache)
The Landing Gear System Case Study
Modeling an Aircraft Landing System in Event-B
Validation of the ABZ Landing Gear System Using ProB
Modeling a Landing Gear System in Event-B
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System
Formale ergänzen traditionelle Methoden in der Softwareentwicklung
Context-Aware Verification of a Landing Gear System
The Landing Gear Case Study in Hybrid Event-B
Landing Gear System: An ASM-Based Solution for the ABZ Case Study
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
Modellierung der Forms-Fallstudien mit Statemate
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
Die formalisierte Terminologie der Verlässlichkeit technischer Systeme
Co-simulation Environment for Rodin: Landing Gear Case Study
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
Gesamtheitlicher Entwicklungsansatz für Dokumentation und Bewertung von E/E-Architekturen
Formal method analysis and evaluation of ERTMS-test specification for the Italian high speed railway