Correctness, Completeness, Consistency: Challenges of Migrating Arrowhead System-of-Systems Models

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]

Authors

Géza Kulcsár

This author has not been identified. Look up 'Géza Kulcsár' in Google

Johannes Kristan

This author has not been identified. Look up 'Johannes Kristan' in Google

Sven Erik Jeroschewski

This author has not been identified. Look up 'Sven Erik Jeroschewski' in Google