@dblp

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

, , , and . MoDELS, volume 5301 of Lecture Notes in Computer Science, page 371-385. Springer, (2008)

Links and resources

Tags