Global consistency checking of distributed models with TReMer+

Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik. Global consistency checking of distributed models with TReMer+. In Wilhelm Schäfer, Matthew B. Dwyer, Volker Gruhn, editors, 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008. pages 815-818, ACM, 2008. [doi]

Authors

Mehrdad Sabetzadeh

This author has not been identified. Look up 'Mehrdad Sabetzadeh' in Google

Shiva Nejati

This author has not been identified. Look up 'Shiva Nejati' in Google

Steve M. Easterbrook

This author has not been identified. It may be one of the following persons: Look up 'Steve M. Easterbrook' in Google

Marsha Chechik

This author has not been identified. Look up 'Marsha Chechik' in Google