A Formal Architecture Pattern for Real-Time Distributed Systems

Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer. A Formal Architecture Pattern for Real-Time Distributed Systems. In Theodore P. Baker, editor, Proceedings of the 30th IEEE Real-Time Systems Symposium, RTSS 2009, Washington, DC, USA, 1-4 December 2009. pages 161-170, IEEE Computer Society, 2009. [doi]

Bibliographies