Boosting Fault Tree Analysis by Formal Methods

Cham / Springer (2017) [Contribution to a book]

ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occassion of his 60th birthday / Joost-Pieter Katoen, Rom Langerak, Arend Rensink (eds.)
Page(s): 368-389

Authors

Authors

Katoen, Joost-Pieter
Stoelinga, Marielle

Identifier