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