Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process.

Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen

Browse the full ISoLA paper archive.