An HCPN Pattern for Railway Safety Critical Scenarios Formal Modeling
Proceedings of the ASME Joint Rail Conference 2015 ; 2015 ; San Jose, CA
2015-01-01
JRC2015-5687
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal Safety Assessment: A Critical Review
Online Contents | 2009
|Formal Verification of Safety-Critical Aerospace Systems
IEEE | 2023
|