Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen. Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. In Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels, editors, ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007. Volume RNTI-SM-1 of Revue des Nouvelles Technologies de l Information, pages 85-97, Cépaduès-Éditions, 2007.
Abstract is missing.