Author:
García-Valls Marisol,Ampuero-Calleja Javier,Ferreira Luis Lino
Publisher
Springer International Publishing
Reference30 articles.
1. Apache Software Foundation: Jini $$^{TM}$$ network technologies specification. Apache River v2.2.0 (2013). https://river.apache.org/doc/spec-index.html
2. Apache Software Foundation: Storm 0.10.0 (2015). http://storm.apache.org
3. Bersani, M.M., García-Valls, M.: The cost of formal verification in adaptive CPS. An example of a virtualized server node. In: Proceedings of 17th IEEE High Assurance Systems Engineering Symposium (HASE), Orlando, Florida, January (2016)
4. Deakin, N.: JSR 343: Java $$^{TM}$$ Message Service 2.0 (2013)
5. Deakin, N.: Java Message Service, version 2.0. Oracle (2013)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献