Géza Kulcsár, Johannes Kristan, Sven Erik Jeroschewski. Correctness, Completeness, Consistency: Challenges of Migrating Arrowhead System-of-Systems Models. In 2022 IEEE/IFIP Network Operations and Management Symposium, NOMS 2022, Budapest, Hungary, April 25-29, 2022. pages 1-6, IEEE, 2022. [doi]
Abstract is missing.