[ACM Press the 2014 Symposium and Bootcamp - Raleigh, North Carolina (2014.04.08-2014.04.09)] Proceedings of the 2014 Symposium and Bootcamp on the Science of Security - HotSoS '14 - Proving abstractions of dynamical systems through numerical simulations
Mitra, SayanYear:
2014
Language:
english
DOI:
10.1145/2600176.2600188
File:
PDF, 325 KB
english, 2014