Kevin Feichtinger, Karl Kegel, Romain Pascual, Uwe Aßmann, Bernhard Beckert, Ralf H. Reussner. Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering. In Manuel Wimmer, Alexander Egyed, Benoît Combemale, Marsha Chechik, editors, Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, MODELS Companion 2024, Linz, Austria, September 22-27, 2024. pages 915-919, ACM, 2024. [doi]
Abstract is missing.