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
Miscellaneous
English
British Library Conference Proceedings | 2004
|British Library Conference Proceedings | 2004
|Generation of Object-Oriented Formal Software Specifications
British Library Conference Proceedings | 1997
|Formal Verification for Model-Based Development
SAE Technical Papers | 2005
|