Model Checking Control Software for Nonlinear Dynamic Systems
AIAA Guidance, Navigation and Control Conference and Exhibit
01.01.2008
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Software model checking for avionics systems
IEEE | 2008
|Applying software model checking to PALS systems
IEEE | 2014
|Model checking large software specifications
Tema Archiv | 1997
|Model checking for software security properties
NTRS | 2002
|