Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering
| Title: | Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering |
|---|---|
| Authors: | Feichtinger, Kevin; Kegel, Karl; Pascual, Romain; Aßmann, Uwe; Beckert, Bernhard; Reussner, Ralf |
| Source: | Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems. :915-919 |
| Availability: | http://dl.acm.org/doi/10.1145/3652620.3688565 |
| Database: | ACM Full-Text Collection |