Model-based Development & Verification Environment
54th International Astronautical Congress of the International Astronautical Federation, the International Academy of Astronautics, and the International Institute of Space Law ; 2003 ; Bremen , Germany
2003-01-01
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Towards Online Environment Model Verification
IEEE | 2020
|Formal Verification for Model-Based Development
SAE Technical Papers | 2005
|Formal verification in model based development
Kraftfahrwesen | 2015
|Formal Verification in Model Based Development
SAE Technical Papers | 2015
|Formal verification for model-based development
Kraftfahrwesen | 2005
|