Formal Safety Analysis in Transportation Control
International workshop on software specification of safety relevant transportation control tasks ; 2002 ; Brunswick, Germany
International workshop on software specification of safety relevant transportation control tasks ; 35-48
2003-01-01
14 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal safety analysis in transportation control
Tema Archive | 2003
|Comparison of Modelling Methodologies for the Formal Safety Assessment in Shipping Transportation
Springer Verlag | 2004
|Comparison of Modelling Methodologies for the Formal Safety Assessment in Shipping Transportation
British Library Conference Proceedings | 2004
|Transportation Safety Analysis
NTIS | 1976
|Tutorial on Formal Safety Analysis
British Library Conference Proceedings | 2006
|