Author:
García-Valls Marisol,Calva-Urrego Christian,de la Puente Juan A.,Alonso Alejandro
Subject
Law,Hardware and Architecture,Software
Reference41 articles.
1. A cloud middleware for assuring performance and high availability of soft real-time applications;An;J. Syst. Arch.,2014
2. Apache Software Foundation, JiniTM Network Technologies Specification, Apache River v2.2.0, 〈https://river.apache.org/doc/spec-index.html〉, November 2013.
3. M. Azab, M. Eltoweissy, Towards a cooperative autonomous resilient defense platform for cyber-physical systems, Proceedings of 7th Annual Workshop on Cyber Security and Information Intelligence Research (CSIIRW), 2011.
4. J. Balasubramanian, et al., NetQoPE: a model-driven network QoS provisioning engine for distributed real-time and embedded systems, Proceedings of 14th IEEE Real-Time and Embedded Technology and Applications Symposium, St. Louis, MO, USA, April 2008.
5. M.M. Bersani, M. García-Valls, The cost of formal verification in adaptive CPS, An example of a virtualized server node, Proceedings of 17th IEEE High Assurance Systems Engineering Symposium (HASE), Orlando, Florida, January 2016.
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献