Formal Fault Tree Analysis - Practical Experiences
From MaRDI portal
Publication:5178999
DOI10.1016/J.ENTCS.2007.05.034zbMath1335.68146OpenAlexW2061076057MaRDI QIDQ5178999
Frank Ortmeier, Gerhard Schellhorn
Publication date: 18 March 2015
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2007.05.034
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Towards Formal Fault Tree Analysis Using Theorem Proving ⋮ Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation
Uses Software
Cites Work
This page was built for publication: Formal Fault Tree Analysis - Practical Experiences
