Cyber & formal methods publications September 1, 2013 Conference PaperSafety Verification for Linear Systems SRI International September 1, 2013 Citation Copy to clipboard 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. ↓ View online Share this
