Sayan Mitra. Proving abstractions of dynamical systems through numerical simulations. In Laurie A. Williams, David M. Nicol, Munindar P. Singh, editors, Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014. pages 12, ACM, 2014. [doi]
Abstract is missing.