Boosting Fault Tree Analysis by Formal Methods

Cham / Springer (2017) [Buchbeitrag]

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

Autorinnen und Autoren

Autorinnen und Autoren

Katoen, Joost-Pieter
Stoelinga, Marielle

Identifikationsnummern