![](/img/cover-not-exists.png)
[ACM Press the 3rd international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 3rd international conference on High confidence networked systems - HiCoNS '14 - Safety envelope for security
Tiwari, Ashish, Dutertre, Bruno, Jovanović, Dejan, de Candia, Thomas, Lincoln, Patrick D., Rushby, John, Sadigh, Dorsa, Seshia, SanjitYear:
2014
Language:
english
DOI:
10.1145/2566468.2566483
File:
PDF, 572 KB
english, 2014