Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages

Andrea Höller; Nermin Kajtazovic; Christopher Preschern; Christian Josef Kreiner

doi:10.1007/978-3-319-12241-0_6

Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages

Andrea Höller, Nermin Kajtazovic, Christopher Preschern, Christian Josef Kreiner

Institut für Technische Informatik (4480)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Software Engineering for Resilient Systems
Herausgeber (Verlag)	Springer
Seiten	71-85
Band	Lecture Notes in Computer Scie
DOIs	https://doi.org/10.1007/978-3-319-12241-0_6
Publikationsstatus	Veröffentlicht - 2014
Veranstaltung	6th International Workshop on Software Engineering for Resilient Systems - Budapest, Ungarn Dauer: 15 Okt. 2014 → 16 Okt. 2014

Publikationsreihe

Name	Lecture Notes in Computer Science
Herausgeber (Verlag)	Springer

Konferenz

Konferenz	6th International Workshop on Software Engineering for Resilient Systems
Land/Gebiet	Ungarn
Ort	Budapest
Zeitraum	15/10/14 → 16/10/14

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Experimental

Zugriff auf Dokument

10.1007/978-3-319-12241-0_6

Andere Dateien und Links

http://link.springer.com/chapter/10.1007/978-3-319-12241-0_6

Dieses zitieren

Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages. / Höller, Andrea; Kajtazovic, Nermin; Preschern, Christopher et al.
Software Engineering for Resilient Systems. Band Lecture Notes in Computer Scie Springer, 2014. S. 71-85 (Lecture Notes in Computer Science).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Höller, A, Kajtazovic, N, Preschern, C & Kreiner, CJ 2014, Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages. in Software Engineering for Resilient Systems. Bd. Lecture Notes in Computer Scie, Lecture Notes in Computer Science, Springer, S. 71-85, 6th International Workshop on Software Engineering for Resilient Systems, Budapest, Ungarn, 15/10/14. https://doi.org/10.1007/978-3-319-12241-0_6

@inproceedings{29f76fbdd6464b7db64fff8973e384ed,

title = "Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages",

author = "Andrea H{\"o}ller and Nermin Kajtazovic and Christopher Preschern and Kreiner, {Christian Josef}",

year = "2014",

doi = "10.1007/978-3-319-12241-0_6",

language = "English",

volume = "Lecture Notes in Computer Scie",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "71--85",

booktitle = "Software Engineering for Resilient Systems",

note = "6th International Workshop on Software Engineering for Resilient Systems ; Conference date: 15-10-2014 Through 16-10-2014",

}

TY - GEN

T1 - Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages

AU - Höller, Andrea

AU - Kajtazovic, Nermin

AU - Preschern, Christopher

AU - Kreiner, Christian Josef

PY - 2014

Y1 - 2014

UR - http://link.springer.com/chapter/10.1007/978-3-319-12241-0_6

U2 - 10.1007/978-3-319-12241-0_6

DO - 10.1007/978-3-319-12241-0_6

M3 - Conference paper

VL - Lecture Notes in Computer Scie

T3 - Lecture Notes in Computer Science

SP - 71

EP - 85

BT - Software Engineering for Resilient Systems

PB - Springer

T2 - 6th International Workshop on Software Engineering for Resilient Systems

Y2 - 15 October 2014 through 16 October 2014

ER -