Publisher
Springer Nature Switzerland
Reference21 articles.
1. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. Al-Fuqaha, A.I., Guizani, M., Mohammadi, M., Aledhari, M., Ayyash, M.: Internet of things: a survey on enabling technologies, protocols, and applications. IEEE Commun. Surv. Tutorials 17(4), 2347–2376 (2015)
3. Aziz, B.: A formal model and analysis of the MQ telemetry transport protocol. In 2014 9th International Conference on Availability, Reliability and Security, pp. 59–68 (2014)
4. Banks. A., Gupta, R.: MQTT Version 3.1.1Plus Errata 01. http://docs.oasis-open.org/mqtt/mqtt/v3.1.1/mqtt-v3.1.1.pdf. OASIS Standard Inc. (2015)
5. Costa, B., Pires, P.F., Delicato, F.C., Li, W., Zomaya, A.Y.: Design and analysis of iot applications: a model-driven approach. In 2016 IEEE 14th International Conference on Dependable, Autonomic and Secure Computing, pp. 392–399 (2016)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献