Towards Automated Design Space Exploration for Safety-Critical Systems Using Type-Annotated Component Fault Trees (bibtex)
by Felix Möhrle, Marc Zeller, Kai Höfig, Martin Rothfelder, Peter Liggesmeyer
Reference:
F. Möhrle et al., "Towards Automated Design Space Exploration for Safety-Critical Systems Using Type-Annotated Component Fault Trees", in International Symposium on Model-Based Safety and Assessment (IMBSA), Demo Sessions, 2017.
Bibtex Entry:
@InCollection{moehrle2017variants,
  Title                    = {Towards Automated Design Space Exploration for Safety-Critical Systems Using Type-Annotated Component Fault Trees},

  Author                   = {Möhrle, Felix and Zeller, Marc and Höfig, Kai and Rothfelder, Martin and Liggesmeyer, Peter},
  Booktitle                = {International Symposium on Model-Based Safety and Assessment (IMBSA), Demo Sessions},
  Month                    = {Sep},
  Year                     = {2017},

  Keywords                 = {fault tree analysis, safety analysis, compositional systems, component fault trees, design space exploration},
  Owner                    = {moehrle},
  Timestamp                = {2017.09.11},
  Url                      = {http://imbsa2017.fbk.eu/accepted-papers}
}
Powered by bibtexbrowser