Robustness Check for Multiple Faults Using Formal Techniques.

Stefan Frehse, Grschwin Fey, Andr Slflow, Rolf Drechsler

Browse the full DSD paper archive.