Runtime Verification of Interactions: From MSCs to Aspects.

Ingolf H. Krger, Michael Meisinger, Massimiliano Menarini

Browse the full RV paper archive.