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]

Authors

Lui Sha

This author has not been identified. Look up 'Lui Sha' in Google

José Meseguer

This author has not been identified. It may be one of the following persons: Look up 'José Meseguer' in Google