Author:
Hansen Jeffery P.,Chaki Sagar,Hissam Scott,Edmondson James,Moreno Gabriel A.,Kyle David
Publisher
Springer International Publishing
Reference23 articles.
1. A platform for operating docker in production. http://github.com/rancher/rancher
2. Dukeman, A., Adams, J.A., Edmondson, J.: Extensible collaborative autonomy using GAMS. In: Proceedings of IRMAS (2016)
3. Chaki, S., Kyle, D.: DMPL: programming and verifying distributed mixed-synchrony and mixed-critical software. Technical report CMU/SEI-2016-TR-005, Software Engineering Institute, Carnegie Mellon University, Pittsburgh (2016). http://resources.sei.cmu.edu/library/asset-view.cfm?assetid=464254
4. Lecture Notes in Computer Science;EM Clarke,2011
5. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of POPL (1977)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. DARTSim: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Smart Cyber-Physical Systems;2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS);2019-05