Correctness, Completeness, Consistency: Challenges of Migrating Arrowhead System-of-Systems Models.
Géza KulcsárJohannes KristanSven Erik JeroschewskiPublished in: NOMS (2022)
Keyphrases
- complex systems
- management system
- computational models
- mathematical models
- lessons learned
- commercial web search engines
- distributed systems
- intelligent systems
- key issues
- statistical models
- ubiquitous and pervasive
- interactive systems
- experimental data
- artificial intelligence
- learning systems
- probabilistic model
- finite state machines
- simulation models
- artificial neural networks
- current challenges
- computing paradigms
- real world