Towards Synthesis of Platform-aware Attack-resilient Control Systems: Extended Abstract
Publication
, Conference
Pajic, M; Bezzo, N; Weimer, J; Alur, R; Mangharam, R; Michael, N; Pappas, GJ; Sokolsky, O; Tabuada, P; Weirich, S; Lee, I
Published in: Proceedings of the 2Nd ACM International Conference on High Confidence Networked Systems
2013
Duke Scholars
Published In
Proceedings of the 2Nd ACM International Conference on High Confidence Networked Systems
DOI
ISBN
978-1-4503-1961-4
Publication Date
2013
Start / End Page
75 / 76
Publisher
ACM
Citation
APA
Chicago
ICMJE
MLA
NLM
Pajic, M., Bezzo, N., Weimer, J., Alur, R., Mangharam, R., Michael, N., … Lee, I. (2013). Towards Synthesis of Platform-aware Attack-resilient Control Systems: Extended Abstract. In Proceedings of the 2Nd ACM International Conference on High Confidence Networked Systems (pp. 75–76). ACM. https://doi.org/10.1145/2461446.2461457
Pajic, Miroslav, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, et al. “Towards Synthesis of Platform-aware Attack-resilient Control Systems: Extended Abstract.” In Proceedings of the 2Nd ACM International Conference on High Confidence Networked Systems, 75–76. ACM, 2013. https://doi.org/10.1145/2461446.2461457.
Pajic M, Bezzo N, Weimer J, Alur R, Mangharam R, Michael N, et al. Towards Synthesis of Platform-aware Attack-resilient Control Systems: Extended Abstract. In: Proceedings of the 2Nd ACM International Conference on High Confidence Networked Systems. ACM; 2013. p. 75–6.
Pajic, Miroslav, et al. “Towards Synthesis of Platform-aware Attack-resilient Control Systems: Extended Abstract.” Proceedings of the 2Nd ACM International Conference on High Confidence Networked Systems, ACM, 2013, pp. 75–76. Manual, doi:10.1145/2461446.2461457.
Pajic M, Bezzo N, Weimer J, Alur R, Mangharam R, Michael N, Pappas GJ, Sokolsky O, Tabuada P, Weirich S, Lee I. Towards Synthesis of Platform-aware Attack-resilient Control Systems: Extended Abstract. Proceedings of the 2Nd ACM International Conference on High Confidence Networked Systems. ACM; 2013. p. 75–76.
Published In
Proceedings of the 2Nd ACM International Conference on High Confidence Networked Systems
DOI
ISBN
978-1-4503-1961-4
Publication Date
2013
Start / End Page
75 / 76
Publisher
ACM