Formal analysis of event-driven cyber physical systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jayaraj Poroor' in GoogleThis author has not been identified. Look up 'Bharat Jayaraman' in Google

runs on WebDSL