Author:
Andersson Björn,Chaki Sagar,de Niz Dionisio
Publisher
Springer International Publishing
Reference22 articles.
1. NSF Definition of Cyber-Physical Systems. https://www.nsf.gov/funding/pgm_summ.jsp?pims_id=503286
2. Bak, S., Johnson, T., Caccamo, M., Sha, L.: Real-time reachability for verified simplex design. In: Proceedings of the 35th Real-Time Systems Symposium, RTSS 2014 (2014)
3. Basin, D., Jugé, V., Klaedtke, F., Zălinescu, E.: Enforceable security policies revisited. ACM Trans. Inf. Syst. Secur. (TISSEC) (2013)
4. Lecture Notes in Computer Science;N Bjørner,2015
5. Lecture Notes in Computer Science;R Bloem,2015
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献