Safety envelope for security.
| Autor: | Tiwari, Ashish, Dutertre, Bruno, Jovanović, Dejan, de Candia, Thomas, Lincoln, Patrick D., Rushby, John, Sadigh, Dorsa, Seshia, Sanjit |
|---|---|
| Zdroj: | Proceedings of the 3rd International Conference High Confidence Networked Systems; 4/15/2014, p85-94, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|