Skip to main content
Journal cover image

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.
Journal cover image

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