Formal verification of the on-the-fly vehicle platooning protocol
Paper i proceeding, 2016
automotive
on-the-fly platooning
Formal verification
Författare
Piergiuseppe Mallozzi
Chalmers, Data- och informationsteknik, Programvaruteknik
Massimo Sciancalepore
Göteborgs universitet
Chalmers, Data- och informationsteknik, Programvaruteknik
Patrizio Pelliccione
Göteborgs universitet
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 9823 62-75978-3-319-45891-5 (ISBN)
Ämneskategorier
Programvaruteknik
DOI
10.1007/978-3-319-45892-2_5
ISBN
978-3-319-45891-5