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]

@inproceedings{KulcsarKJ22,
  title = {Correctness, Completeness, Consistency: Challenges of Migrating Arrowhead System-of-Systems Models},
  author = {Géza Kulcsár and Johannes Kristan and Sven Erik Jeroschewski},
  year = {2022},
  doi = {10.1109/NOMS54207.2022.9789830},
  url = {https://doi.org/10.1109/NOMS54207.2022.9789830},
  researchr = {https://researchr.org/publication/KulcsarKJ22},
  cites = {0},
  citedby = {0},
  pages = {1-6},
  booktitle = {2022 IEEE/IFIP Network Operations and Management Symposium, NOMS 2022, Budapest, Hungary, April 25-29, 2022},
  publisher = {IEEE},
  isbn = {978-1-6654-0601-7},
}