Embedded Systems

Verification of Component Fault Trees Using Error Effect Simulations

by Oliver Bringmann and Wolfgang Rosenstiel
In Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings 10437: 212. Springer, 2017.