Validation of mission critical software design and implementation using model checking
21st Digital Avionics Systems Conference
27.10.2002
Aufsatz (Konferenz)
Keine Angabe
Englisch
Self-checking software: improving the quality of mission-critical systems
Tema Archiv | 1999
|