Duggirala, P. S., & Tiwari, A. (2013, 29 September – 4 October). Safety verification for linear systems. Paper presented at the International Conference on Embedded Software (EMSOFT ’13), Montreal, Canada.
Share this




We’ll match your inquiry to the person who can best help you.
Expect a response within 48 hours.