TY - RPRT TI - Verification of Component Fault Trees Using Error Effect Simulations AU - Sebastian Reiter AU - Marc Zeller AU - Kai Hoefig AU - Alexander Viehl AU - Oliver Bringmann AU - Wolfgang Rosenstiel PY - 2021 DO - 10.1007/978-3-319-64119-5_14 UR - https://arxiv.org/abs/2106.03368 ID - 2106.03368 ER -