Formally Verifying Navigation Safety for Ground Robots
Mechatronics and automation (International conference)
01.01.2016
6 pages
Aufsatz (Konferenz)
Englisch
© 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
Kraftfahrwesen | 2004
|