Validation of mission critical software design and implementation using model checking
21st Digital Avionics Systems Conference
2002-10-27
Aufsatz (Konferenz)
Keine Angabe
Englisch
Self-checking software: improving the quality of mission-critical systems
Tema Archiv | 1999
|Validation of Control Software Specification Using Design Interests Extraction and Model Checking
British Library Conference Proceedings | 2012
|Validation of Control Software Specification Using Design Interests Extraction and Model Checking
SAE Technical Papers | 2012
|