Emfinger, W., G. Karsai, A. Dubey, and A. Gokhale,
"Analysis, Verification, and Management Toolsuite for Cyber-physical Applications on Time-varying Networks",
Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, New York, NY, USA, ACM, pp. 44–47, 2014.
Download: CyPhy14.pdf (583.29 KB)