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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

LanguageEnglish
Title of host publicationSoftware Engineering for Resilient Systems
PublisherSpringer
Pages71-85
VolumeLecture Notes in Computer Scie
DOIs
StatusPublished - 2014
Event6th International Workshop on Software Engineering for Resilient Systems - Budapest, Hungary
Duration: 15 Oct 201416 Oct 2014

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

Conference6th International Workshop on Software Engineering for Resilient Systems
CountryHungary
CityBudapest
Period15/10/1416/10/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Experimental

Cite this

Höller, A., Kajtazovic, N., Preschern, C., & Kreiner, C. J. (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, pp. 71-85). (Lecture Notes in Computer Science). Springer. DOI: 10.1007/978-3-319-12241-0_6

Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages. / Höller, Andrea; Kajtazovic, Nermin; Preschern, Christopher; Kreiner, Christian Josef.

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 proceedingConference contributionResearchpeer-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. DOI: 10.1007/978-3-319-12241-0_6
Höller A, Kajtazovic N, Preschern C, Kreiner CJ. 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. Springer. 2014. p. 71-85. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/978-3-319-12241-0_6
Höller, Andrea ; Kajtazovic, Nermin ; Preschern, Christopher ; Kreiner, Christian Josef. / Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages. Software Engineering for Resilient Systems. Vol. Lecture Notes in Computer Scie Springer, 2014. pp. 71-85 (Lecture Notes in Computer Science).
@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",

}

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 contribution

VL - Lecture Notes in Computer Scie

T3 - Lecture Notes in Computer Science

SP - 71

EP - 85

BT - Software Engineering for Resilient Systems

PB - Springer

ER -