Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling

Harald König, Zinovy Diskin. Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling. In Andrzej Wasowski, Henrik Lönn, editors, Modelling Foundations and Applications - 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. Volume 9764 of Lecture Notes in Computer Science, pages 19-35, Springer, 2016. [doi]

Abstract

Abstract is missing.