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
|