[ACM Press the First International Conference - Kollam, India (2012.08.17-2012.08.19)] Proceedings of the First International Conference on Security of Internet of Things - SecurIT '12 - Formal analysis of event-driven cyber physical systems
Poroor, Jayaraj, Jayaraman, BharatYear:
2012
Language:
english
DOI:
10.1145/2490428.2490429
File:
PDF, 741 KB
english, 2012