Embedded Systems

Verification of Component Fault Trees Using Error Effect Simulations

by Sebastian Reiter, Marc Zeller, Kai Höfig, Alexander Viehl, Oliver Bringmann, and Wolfgang Rosenstiel
In International Symposium on Model-Based Safety and Assessment, pages 212–226. Springer, Cham, 2017.