Formal Analysis and Verification of Self-Healing Systems.

Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione

Browse the full FASE paper archive.