Integration of Formal Methods into System Safety and Reliability Analysis
17th, International system safety conference ; 1999 ; Orlando, FL
1999-01-01
11 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.
Development of a Formal Safety Assessment System for Integration into the Lifeboat Design Process
British Library Conference Proceedings | 1998
|RELIABILITY AND SAFETY PROCESS INTEGRATION
SAE Technical Papers | 1996
System Integration & Validation with Formal Methods in ATC Applications
British Library Conference Proceedings | 2000
|Tutorial on Formal Safety Analysis
British Library Conference Proceedings | 2006
|