Verification of Component Fault Trees Using Error Effect Simulations

DSpace Repositorium (Manakin basiert)

Verification of Component Fault Trees Using Error Effect Simulations

Autor(en): Reiter, S; Zeller, M; Höfig, K; Viehl, A; Bringmann, O; Rosenstiel, W
Tübinger Autor(en):
Viehl, Alexander
Bringmann, Oliver
Rosenstiel, Wolfgang
Erscheinungsjahr: 2017
Reihe: Lecture notes in computer science;10437
Verlagsangabe: Cham : Springer
Sprache: Englisch
Referenz zum Volltext: http://dx.doi.org/10.1007/978-3-319-64119-5_14
ISBN: 978-3-319-64118-8
978-3-319-64119-5
DDC-Klassifikation: 004 - Informatik
Dokumentart: Teil eines Buches
Konferenzveröffentlichung
Erschienen in: Bozzano M., Papadopoulos Y. (eds) Model-Based Safety and Assessment. IMBSA 2017
Seitenbereich: 212-226
Zur Langanzeige

Das Dokument erscheint in: