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):

Erscheinungsjahr:

2017

Reihe:

Lecture notes in computer science;10437

Verlagsangabe:

Cham : Springer

Sprache:

Englisch

Referenz zum Volltext:

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

Das Dokument erscheint in: