A Formal Approach for Automating Compositional Safety Analysis Using Flow Type Annotations in Component Fault Trees

Möhrle, Felix; Bizik, Kai; Zeller, Marc; Höfig, Kai; Rothfelder, Martin; Liggesmeyer, Peter

by Felix Möhrle, Kai Bizik, Marc Zeller, Kai Höfig, Martin Rothfelder, Peter Liggesmeyer

Reference:

F. Möhrle et al., "A Formal Approach for Automating Compositional Safety Analysis Using Flow Type Annotations in Component Fault Trees", in Proc. of the 27th European Safety and Reliability Conference (ESREL): Safety and Reliability – Theory and Applications., Portorož, Slovenia: Taylor & Francis (CRC Press), 2017.

Bibtex Entry:

@InProceedings{moehrle2017flowtypes,
  Title                    = {A Formal Approach for Automating Compositional Safety Analysis Using Flow Type Annotations in Component Fault Trees},
  Author                   = {Möhrle, Felix and Bizik, Kai and Zeller, Marc and Höfig, Kai and Rothfelder, Martin and Liggesmeyer, Peter},
  Booktitle                = {Proc. of the 27th European Safety and Reliability Conference (ESREL): Safety and Reliability – Theory and Applications.},
  Year                     = {2017},

  Address                  = {Portorož, Slovenia},
  Month                    = {May},
  Publisher                = {Taylor \& Francis (CRC Press)},
}