Global Consistency Checking of Distributed Models with TReMer

Cached

Download Links

by Mehrdad Sabetzadeh , Shiva Nejati , Steve Easterbrook , Marsha Chechik
Venue:In 30th International Conference on Software Engineering (ICSE’08), 2008. Formal Research Demonstration (To Appear
Citations:9 - 2 self