Publisher
Springer International Publishing
Reference24 articles.
1. Banci Buonamici, F., Belmonte, G., Ciancia, V., Latella, D., Massink, M.: Spatial logics and model checking for medical imaging. Int. J. Softw. Tools Technol. Transf. 22(2), 195–217 (2020). https://doi.org/10.1007/s10009-019-00511-9
2. Banks, A., Gupta, R.: MQTT version 3.1.1. OASIS standard, October 2014. http://docs.oasis-open.org/mqtt/mqtt/v3.1.1/os/mqtt-v3.1.1-os.html
3. Lecture Notes in Computer Science;D Basile,2020
4. ter Beek, M.H., Gnesi, S., Knapp, A.: Formal methods for transport systems. Int. J. Softw. Tools Technol. Transf. 20(3), 355–358 (2018). https://doi.org/10.1007/s10009-018-0487-4
5. Belmonte, G., Broccia, G., Vincenzo, C., Latella, D., Massink, M.: Feasibility of spatial model checking for nevus segmentation. In: Proceedings of the 9th International Conference on Formal Methods in Software Engineering (FormalieSE 2021), pp. 1–12. IEEE (2021). https://doi.org/10.1109/FormaliSE52586.2021.00007