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
Type: Book Chapter
Book Title: Computational Logistics : 12th International Conference, Iccl 2021, Enschede (2021)
Page Reference: 410-424
ISBN: 3030876721