共 54 条
[1]
Abrial J.-R., 2010, Modeling in Event-B: System and Software Engineering, DOI DOI 10.1017/CBO9781139195881
[4]
[Anonymous], APPL CYBER PHYS SYST
[8]
Bonomi F., 2012, Proceedings of the first edition of the MCC workshop on Mobile cloud computing, P13, DOI [DOI 10.1145/2342509.2342513, 10.1145/2342509.2342513]
[9]
Cama-Pinto Alejandro, 2016, Ingeniare. Rev. chil. ing., V24, P581
[10]
Champeau J, 2000, OCEANS 2000 MTS/IEEE - WHERE MARINE SCIENCE AND TECHNOLOGY MEET, VOLS 1-3, CONFERENCE PROCEEDINGS, P73, DOI 10.1109/OCEANS.2000.881236