Liste als BibTeX-Datei exportieren

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

• März 2014 A framework for reliability-aware embedded system design on multiprocessor platforms Jia Huang, Simon Barner, Andreas Raabe, Christian Buckl und Alois Knoll Microprocessors and Microsystems, 38(6):539–551, März 2014. Details DOI BIB
• 2014 A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems Klaus Becker, Bernhard Schätz, Michael Armbruster und Christian Buckl In Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM), Details DOI BIB