Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. Model Synchronization: A Formal Framework for the Management of Heterogeneous Models. In Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano, editors, Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings. Volume 11842 of Lecture Notes in Computer Science, pages 157-172, Springer, 2019. [doi]
Abstract is missing.