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

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

Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016 - -2016

Authors

Mallozzi Piergiuseppe, Sciancalepore Massimo, Pelliccione Patrizio

DOI

https://doi.org/10.1007/978-3-319-45892-2_5

BibTex references

@InProceedings{MSP16,
  author       = "Mallozzi, Piergiuseppe and Sciancalepore, Massimo and Pelliccione, Patrizio",
  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://sisinflab.poliba.it/Publications/2016/MSP16"

}