A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles
NASA formal methods symposium
2016-01-01
16 pages
Conference paper
Unknown
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Software safety architecture that can be formally verified
Automotive engineering | 2004
|