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]

@inproceedings{WestmanN14,
  title = {Environment-Centric Contracts for Design of Cyber-Physical Systems},
  author = {Jonas Westman and Mattias Nyberg},
  year = {2014},
  doi = {10.1007/978-3-319-11653-2_14},
  url = {http://dx.doi.org/10.1007/978-3-319-11653-2_14},
  researchr = {https://researchr.org/publication/WestmanN14},
  cites = {0},
  citedby = {0},
  pages = {218-234},
  booktitle = {Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings},
  editor = {Jürgen Dingel and Wolfram Schulte and Isidro Ramos and Silvia Abrahão and Emilio Insfrán},
  volume = {8767},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-11652-5},
}