Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering.

Kevin Feichtinger, Karl Kegel, Romain Pascual, Uwe Amann, Bernhard Beckert, Ralf Reussner

Browse the full MODELS paper archive.