Publisher
Springer Science and Business Media LLC
Reference31 articles.
1. Abrial J-R (2010) Modeling in event-B: system and software engineering, 1st edn. Cambridge University Press, New York
2. Abrial JR, Butler M, Hallerstede S, Hoang TS, Mehta F, Voisin L (2010) Rodin: an open toolset for modelling and reasoning in event-b. Int J Softw Tools Technol Transf 12(6):447–466
3. Al-Fuqaha A, Guizani M, Mohammadi M, Aledhari M, Ayyash M (2015) Internet of things: a survey on enabling technologies, protocols, and applications. IEEE Commun Surv Tutor 17(4):2347–2376 Fourthquarter
4. Bayley I, Zhu H (2011) A formal language for the expression of pattern compositions. International Journal on Advances in Software 4(3):354–366
5. Büsching, F., Post, H., Gietzelt, M. and Wolf, L. (2013) Fall detection on the road. In: 2013 IEEE 15th international conference on e-health networking, applications and services (Healthcom 2013), pp 439–443
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献