SIMULATION-BASED AND FORMAL VERIFICATION OF DOMAIN-SPECIFIC LANGUAGE MODEL
AIAA SciTech Forum and Exposition ; 2020 ; Orlando, Fla.
2020
Aufsatz (Konferenz)
Englisch
Formal Verification for Model-Based Development
SAE Technical Papers | 2005
|Formal verification for model-based development
Kraftfahrwesen | 2005
|Formal Verification in Model Based Development
SAE Technical Papers | 2015
|Formal verification in model based development
Kraftfahrwesen | 2015
|