1 paper · 1 filter
Klaus Becker, Bernhard Schatz, Christian Buckl +1
In domains like automotive, safety-critical features are increasingly realized by software. Some features might even require fail-operational behavior, so that they must be provide…