An HCPN Pattern for Railway Safety Critical Scenarios Formal Modeling
Proceedings of the ASME Joint Rail Conference 2015 ; 2015 ; San Jose, CA
01.01.2015
JRC2015-5687
Aufsatz (Konferenz)
Englisch
© 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
|