Formal Verification of the On-the-Fly Vehicle Platooning Protocol

Piergiuseppe Mallozzi, Massimo Sciancalepore, Patrizio Pelliccione
Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016 - 2016

BibTex references


@InProceedings{MSP16,
author = {Piergiuseppe Mallozzi and Massimo Sciancalepore and Patrizio Pelliccione},
title = "Formal Verification of the On-the-Fly Vehicle
Platooning Protocol",
booktitle = "Software Engineering for Resilient Systems - 8th
International Workshop, SERENE 2016",
series = "Lecture Notes in Computer Science 9823",
year = "2016",
publisher = "Springer",
url = "http://www-ictserv.poliba.it/publications/2016/MSP
16"
}

Other publications in the database

SisInf Lab - Information Systems Laboratory

Research group of Politecnico di Bari
Edoardo Orabona St, 4 Bari, Italy