Model Checking Control Software for Nonlinear Dynamic Systems
AIAA Guidance, Navigation and Control Conference and Exhibit
2008-01-01
Conference paper
Electronic Resource
English
Software model checking for avionics systems
IEEE | 2008
|Applying software model checking to PALS systems
IEEE | 2014
|Model checking large software specifications
Tema Archive | 1997
|Model checking for software security properties
NTRS | 2002
|