Formal Analysis and Verification of Self-Healing Systems

@inproceedings{Ehrig2010FormalAA,
  title={Formal Analysis and Verification of Self-Healing Systems},
  author={Hartmut Ehrig and Claudia Ermel and Olga Runge and Antonio Bucchiarone and Patrizio Pelliccione},
  booktitle={FASE},
  year={2010}
}
Highly Cited
This paper has 46 citations. REVIEW CITATIONS