A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems

Klaus Becker und Sebastian Voss

4th Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS),

2015 · Paris, France