Formal analysis of event-driven cyber physical systems

Jayaraj Poroor, Bharat Jayaraman. Formal analysis of event-driven cyber physical systems. In R. Chandrasekhar, Andrew S. Tanenbaum, P. Venkat Rangan, editors, First International Conference on Security of Internet of Things, SECURIT '12, Kollam, India - August 17 - 19, 2012. pages 1-8, ACM, 2012. [doi]

Abstract

Abstract is missing.