M. Pajic, N. Bezzo, James Weimer, R. Alur, R. Mangharam, Nathan Michael, George J. Pappas, O. Sokolsky, P. Tabuada, Stephanie Weirich, Insup Lee
{"title":"面向平台感知攻击弹性控制系统的综合:扩展抽象","authors":"M. Pajic, N. Bezzo, James Weimer, R. Alur, R. Mangharam, Nathan Michael, George J. Pappas, O. Sokolsky, P. Tabuada, Stephanie Weirich, Insup Lee","doi":"10.1145/2461446.2461457","DOIUrl":null,"url":null,"abstract":"Recommended Citation Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, and Insup Lee, \"Towards Synthesis of Platform-Aware Attack-Resilient Control Systems: Extended Abstract\", Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS '13) , 75-76. April 2013. http://dx.doi.org/10.1145/2461446.2461457","PeriodicalId":203753,"journal":{"name":"International Conference on High Confidence Networked Systems","volume":"132 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"Towards synthesis of platform-aware attack-resilient control systems: extended abstract\",\"authors\":\"M. Pajic, N. Bezzo, James Weimer, R. Alur, R. Mangharam, Nathan Michael, George J. Pappas, O. Sokolsky, P. Tabuada, Stephanie Weirich, Insup Lee\",\"doi\":\"10.1145/2461446.2461457\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Recommended Citation Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, and Insup Lee, \\\"Towards Synthesis of Platform-Aware Attack-Resilient Control Systems: Extended Abstract\\\", Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS '13) , 75-76. April 2013. http://dx.doi.org/10.1145/2461446.2461457\",\"PeriodicalId\":203753,\"journal\":{\"name\":\"International Conference on High Confidence Networked Systems\",\"volume\":\"132 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-04-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Conference on High Confidence Networked Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/2461446.2461457\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Conference on High Confidence Networked Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2461446.2461457","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 8
摘要
Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee，“面向平台感知攻击弹性控制系统的综合:扩展摘要”，第二届ACM高自信网络系统国际会议论文集(HiCoNS '13)， 75-76。2013年4月。http://dx.doi.org/10.1145/2461446.2461457
Towards synthesis of platform-aware attack-resilient control systems: extended abstract
Recommended Citation Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, and Insup Lee, "Towards Synthesis of Platform-Aware Attack-Resilient Control Systems: Extended Abstract", Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS '13) , 75-76. April 2013. http://dx.doi.org/10.1145/2461446.2461457
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
