Main
Articles
[Lecture Notes in Computer Science] Software Engineering for Resilient Systems Volume 9823 || Formal Verification of the On-the-Fly Vehicle Platooning Protocol
[Lecture Notes in Computer Science] Software Engineering for Resilient Systems Volume 9823 || Formal Verification of the On-the-Fly Vehicle Platooning Protocol
Crnkovic, Ivica; Troubitsyna, Elena
Download [Lecture Notes in Computer Science] Software Engineering for Resilient Systems Volume 9823 || Formal Verification of the On-the-Fly Vehicle Platooning Protocol article for free from Z-Library
Request Code :
Z-LIBIO299696
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-45892-2_5