Validation of mission critical software design and implementation using model checking
21st Digital Avionics Systems Conference
2002-10-27
Conference paper
No indication
English
Self-checking software: improving the quality of mission-critical systems
Tema Archive | 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
|