Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis.

Axel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif

Browse the full FMICS paper archive.