System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches.

Giovanna Dondossola, Oliver Botti

Browse the full FASE paper archive.