Checking the Conformance between Models Based on Scenario Synchronization

Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla. Checking the Conformance between Models Based on Scenario Synchronization. J. UCS, 16(17):2293-2312, 2010. [doi]

Abstract

Abstract is missing.