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

researchr

You are not signed in
Sign in
Sign up

Vahid Yazdanpanah, Enrico H. Gerding, Sebastian Stein 0001. Formal Methods to Verify and Ensure Self-coordination Abilities in the Internet of Vehicles. In Martijn Mes, Eduardo Lalla-Ruiz, Stefan Voß, editors, Computational Logistics - 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27-29, 2021, Proceedings. Volume 13004 of Lecture Notes in Computer Science, pages 410-425, Springer, 2021. [doi]

This author has not been identified. Look up 'Vahid Yazdanpanah' in GoogleThis author has not been identified. Look up 'Enrico H. Gerding' in GoogleThis author has not been identified. Look up 'Sebastian Stein 0001' in Google

runs on WebDSL