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

Gza Kulcsr, Johannes Kristan, Sven Erik Jeroschewski

Browse the full NOMS paper archive.