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
|Tutorial on Formal Safety Analysis
British Library Conference Proceedings | 2006
|Transportation Safety Analysis
NTIS | 1976
|Comparison of Modelling Methodologies for the Formal Safety Assessment in Shipping Transportation
British Library Conference Proceedings | 2004
|Formal Methods Applications in Air Transportation
NTRS | 2009
|