Specifying Safety-Related Hazards Formally
17th, International system safety conference ; 1999 ; Orlando, FL
1999-01-01
10 pages
Theme title: System safety at the dawn of the new millennium
Conference paper
English
system safety , SSS , ISSC
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formally specifying the logic of an automatic guidance controller
Tema Archive | 1991
|Formally Verifying Navigation Safety for Ground Robots
British Library Conference Proceedings | 2016
|Software safety architecture that can be formally verified
Automotive engineering | 2004
|A Formally Verified Fail-Operational Safety Concept for Automated Driving
SAE Technical Papers | 2022
|