Boosting Fault Tree Analysis by Formal Methods

Katoen, Joost-Pieter (Corresponding author); Stoelinga, Marielle

Cham : Springer (2017)
Contribution to a book

In: 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)/Article-Nr.: 368-389

Identifier