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 contribution

Original languageEnglish
Title of host publicationSoftware Engineering for Resilient Systems
PublisherSpringer
Pages71-85
VolumeLecture Notes in Computer Scie
DOIs
Publication 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. https://doi.org/10.1007/978-3-319-12241-0_6