Dependable Communication Synthesis for Distributed Embedded Systems

Nagarajan Kandasamy, John P. Hayes, Brian T. Murray. Dependable Communication Synthesis for Distributed Embedded Systems. In Stuart Anderson, Massimo Felici, Bev Littlewood, editors, Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings. Volume 2788 of Lecture Notes in Computer Science, pages 275-288, Springer, 2003. [doi]

Abstract

Abstract is missing.