Formal Methods to Verify and Ensure Self-coordination Abilities in the Internet of Vehicles
Attributed to:
UKRI Trustworthy Autonomous Systems Hub
funded by
SPF
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-87672-2_27
Publication URI: http://dx.doi.org/10.1007/978-3-030-87672-2_27
Type: Book Chapter
Book Title: Computational Logistics - 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27-29, 2021, Proceedings (2021)
Page Reference: 410-425