Formal Methods to Verify and Ensure Self-coordination Abilities in the Internet of Vehicles

First Author: Yazdanpanah V
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