Cited By
View all- Poroor JJayaraman BChandrasekhar RTanenbaum ARangan P(2012)Formal analysis of event-driven cyber physical systemsProceedings of the First International Conference on Security of Internet of Things10.1145/2490428.2490429(1-8)Online publication date: 17-Aug-2012