Dependable Communication Synthesis for Distributed Embedded Systems.

Nagarajan Kandasamy, John P. Hayes, Brian T. Murray

Browse the full SAFECOMP paper archive.