A Model-Based Framework for Statically and Dynamically Checking Component Interactions.

Guillaume Waignier, Prawee Sriplakich, Anne-Franoise Le Meur, Laurence Duchien

Browse the full MODELS paper archive.