Author:
Bak Stanley,Abad Fardin Abdi Taghi,Zhenqi Huang ,Caccamo Marco
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. From Design to Invariants: Detecting Attacks on Cyber Physical Systems;2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C);2017-07
2. Duplex;Proceedings of the 35th International Conference on Computer-Aided Design;2016-11-07
3. Runtime enforcement of regular timed properties by suppressing and delaying events;Science of Computer Programming;2016-07
4. Safety and Progress for Distributed Cyber-Physical Systems with Unreliable Communication;ACM Transactions on Embedded Computing Systems;2015-12-08
5. Auditable Restoration of Distributed Programs;2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS);2015-09