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
|Transportation Safety Analysis
NTIS | 1976
|Comparison of Modelling Methodologies for the Formal Safety Assessment in Shipping Transportation
Springer Verlag | 2004
|Formal Methods Applications in Air Transportation
NTRS | 2009
|British Library Online Contents | 1996