Semi-automatic controller design of Java-like models.

Yan Zhang, Batrice Brard, Lom-Messan Hillah, Yann Thierry-Mieg

Browse the full ECOOP paper archive.