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

Institute of Technical Informatics (4480)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Software Engineering for Resilient Systems
Publisher	Springer
Pages	71-85
Volume	Lecture Notes in Computer Scie
DOIs	https://doi.org/10.1007/978-3-319-12241-0_6
Publication status	Published - 2014
Event	6th International Workshop on Software Engineering for Resilient Systems - Budapest, Hungary Duration: 15 Oct 2014 → 16 Oct 2014

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Conference

Conference	6th International Workshop on Software Engineering for Resilient Systems
Country/Territory	Hungary
City	Budapest
Period	15/10/14 → 16/10/14

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Experimental

Access to Document

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

Cite this

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. Vol. Lecture Notes in Computer Scie Springer, 2014. p. 71-85 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

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. vol. Lecture Notes in Computer Scie, Lecture Notes in Computer Science, Springer, pp. 71-85, 6th International Workshop on Software Engineering for Resilient Systems, Budapest, Hungary, 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 -

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

Publication series

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Cite this