fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

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

Wissenschaftliche Publikationen

Stichworte: Fail-operational

Liste als BibTeX-Datei exportieren

2021

  • November 2021 Low-Redundancy Realization of Safety-Critical Automotive Functions Simon Barner, Stefan Matthes, Holger Dormann, Angelika Schingale, Eberhard Kaulfersch, Michael Eichhorst, Lutz Scheiter, Holger Schmidt und Jürgen Gebert In MikroSystemTechnik (MST) Kongress, VDE Verlag GmbH Berlin Offenbach.. Details URL BIB

2018

2017

2016

  • Januar 2016 A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems Klaus Becker und Sebastian Voss In 4th Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), Paris, France, Details DOI BIB

2015

  • März 2015 Deployment Calculation and Analysis for a Fault-Tolerant System Platform Klaus Becker und Bernhard Schätz In 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), Seiten 100-109, Details URL BIB

2014