Environment-Centric Contracts for Design of Cyber-Physical Systems

Jonas Westman, Mattias Nyberg. Environment-Centric Contracts for Design of Cyber-Physical Systems. In Jürgen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfrán, editors, Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. Volume 8767 of Lecture Notes in Computer Science, pages 218-234, Springer, 2014. [doi]

Abstract

Abstract is missing.