Model checking for software security properties
First International Conference on Space Mission Challenges for Information Technology
13.07.2002
Aufsatz (Konferenz)
Keine Angabe
Englisch
Model checking large software specifications
Tema Archiv | 1997
|Software model checking for avionics systems
IEEE | 2008
|NTRS | 1986
|Applying software model checking to PALS systems
IEEE | 2014
|