Formally Verifying Navigation Safety for Ground Robots
Mechatronics and automation (International conference)
2016-01-01
6 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Specifying Safety-Related Hazards Formally
British Library Conference Proceedings | 1999
|British Library Conference Proceedings | 2013
|Formally verifying the correctness of a network-based protocol for railway signalling systems
British Library Conference Proceedings | 2005
|Software safety architecture that can be formally verified
Automotive engineering | 2004
|