Formal Methods to Verify and Ensure Self-Coordination Abilities in the Internet of Vehicles Inproceedings
In: Computational Logistics: 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27?29, 2021, Proceedings, Springer, 2021.