Model Checking Control Software for Nonlinear Dynamic Systems
AIAA Guidance, Navigation and Control Conference and Exhibit
2008-01-01
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Software model checking for avionics systems
IEEE | 2008
|Applying software model checking to PALS systems
IEEE | 2014
|Applying software model checking to PALS systems
IEEE | 2014
|Model checking large software specifications
Tema Archiv | 1997
|Model Checking of Robotic Control Systems
British Library Conference Proceedings | 2005
|