Design of Complex Cyber Physical Systems with Formalized Architectural Patterns

Lui Sha, José Meseguer. Design of Complex Cyber Physical Systems with Formalized Architectural Patterns. In Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer, editors, Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Volume 5380 of Lecture Notes in Computer Science, pages 92-100, Springer, 2008. [doi]

@incollection{ShaM08,
  title = {Design of Complex Cyber Physical Systems with Formalized Architectural Patterns},
  author = {Lui Sha and José Meseguer},
  year = {2008},
  doi = {10.1007/978-3-540-89437-7_5},
  url = {http://dx.doi.org/10.1007/978-3-540-89437-7_5},
  tags = {architecture, design},
  researchr = {https://researchr.org/publication/ShaM08},
  cites = {0},
  citedby = {0},
  pages = {92-100},
  booktitle = {Software-Intensive Systems and New Computing Paradigms - Challenges and Visions},
  editor = {Martin Wirsing and Jean-Pierre Banâtre and Matthias M. Hölzl and Axel Rauschmayer},
  volume = {5380},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89436-0},
}