fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: Formal Methods

Export list as BibTeX file

2017

2015

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