Author:
Ruchkin Ivan,Rao Ashwini,De Niz Dionisio,Chaki Sagar,Garlan David
Funder
Department of Defense
National Science Foundation
National Security Agency
Reference66 articles.
1. P. Axer and R. Ernst. Designing an Analyzable and Resilient Embedded Operating System. In Informatik 2012, 42. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 16.-21.09.2012, Braunschweig, 2012.
2. R. Baheti and H. Gill. Cyber-Physical Systems. Technical report, 2011.
3. L. Benvenuti, A. Ferrari, L. Mangeruca, E. Mazzi, R. Passerone, and C. Sofronis. A contract-based formalism for the specification of heterogeneous systems. In 2008 Forum on Specification Verification and Design Languages. IEEE, sep 2008.
4. D. Broman, E. A. Lee, S. Tripakis, and M. Törngren. Viewpoints formalisms, languages, and tools for cyber-physical systems. In Proc. of the 6th Workshop on Multi-Paradigm Modeling, 2012.
5. A. A. Cardenas, S. Amin, and S. Sastry. Secure control: Towards survivable cyber-physical systems. In The 28th International Conference on Distributed Computing Systems Workshops. IEEE, 2008.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献