SRI International

SRI International - American Nonprofit Research Institute

Cyber & formal methods publications

Safety Verification for Linear Systems

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

Facebooktwitterlinkedinmail