Solving the instance model-view update problem in AADL.

Rakshit Mittal, Dominique Blouin, Anish Bhobe, Soumyadip Bandyopadhyay

Browse the full MODELS paper archive.