Publisher
Springer International Publishing
Reference28 articles.
1. Ai, Y., Peng, M., Zhang, K.: Edge computing technologies for internet of things: a primer. Digital Commun. Netw. 4(2), 77–86 (2018)
2. Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329–366 (2004)
3. Arbab, F.: Coordination for component composition. Electron. Notes Theor. Comput. Sci. 160, 15–40 (2006). Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 2005)
4. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions. Springer, Berlin (2013)
5. Bochot, T., Virelizier, P., Waeselynck, H., Wiels, V.: Model checking flight control systems: the airbus experience. In: 31st International Conference on Software Engineering-Companion Volume, 2009. ICSE-Companion 2009, pp. 18–27. IEEE, Piscataway (2009)