Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems.

Christel Seguin, Virginie Wiels

Browse the full FM paper archive.