Formal Analysis and Verification of Self-Healing Systems.

Hartmut Ehrig Claudia Ermel Olga Runge Antonio Bucchiarone Patrizio Pelliccione

Published in: FASE (2010)

Keyphrases

formal analysis
formal methods
computing systems
management system
distributed systems
intelligent systems
lightweight
complex systems
artificial intelligence
information systems
formal verification