Supporting model-based development with unambiguous specifications, formal verification and correct-by-construction embedded software
Unterstuetzung der modellbasierten Entwicklung durch eindeutige Spezifikationen, formale Verifizierung und fortlaufende Korrektur bei der Entwicklung von Embedded-Software.
2004
6 pages
SAE-Paper;2004-01-1768;2004;In-Vehicle Networks and Software,Electrical Wiring ...;SAE Spec.Publ.; SP-1852
Sonstige
Englisch
British Library Conference Proceedings | 2004
|British Library Conference Proceedings | 2004
|Formal Verification for Model-Based Development
SAE Technical Papers | 2005
|Formal verification for model-based development
Kraftfahrwesen | 2005
|