Model Checking of Robotic Control Systems
8th, International symposium on artificial intelligence, robotics and automation in space; i-SAIRAS 2005 ; 2005 ; Munich, Germany
International symposium on artificial intelligence, robotics and automation in space; i-SAIRAS 2005 ; 603 ; P49
2005-01-01
P49
Held on CD-ROM
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Software model checking for avionics systems
IEEE | 2008
|British Library Conference Proceedings | 1995
|Applying software model checking to PALS systems
IEEE | 2014
|Applying software model checking to PALS systems
IEEE | 2014
|