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]

Abstract

Abstract is missing.