fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

Veröffentlichungen, Zeitschriftenaufsätze und Broschüren mit Ergebnissen aus dem Institut

Wissenschaftliche Publikationen

Stichworte: Formal Methods

Liste als BibTeX-Datei exportieren

2017

2015

  • 2015 Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time Systems Klaus Becker und Sebastian Voss In 18th IEEE Symposium on Real-Time Distributed Computing (ISORC), IEEE. Details DOI BIB