Citation
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.
Safety Verification for Linear Systems
Read more from SRI
-
The naked mole rat may hold the key to new treatments for neurodegenerative diseases
SRI researchers study the cells of the long-living rodent to find new drug targets for Alzheimer’s, Parkinson’s, and other neurodegenerative disorders.
-
Engineered helper T cell could become a cancer killer
SRI scientists are developing a cell-based platform using an often-undervalued subset of helper T cells to deliver potent antitumor proteins for solid tumors, overcoming dose-related toxicities.
-
SRI spins out Ravenswood Solutions
Ravenswood delivers high-fidelity training experiences to improve military readiness and performance.