Safe-Platoon: A Formal Model for Safety Evaluation

Mohamed Garoui. Safe-Platoon: A Formal Model for Safety Evaluation. IJSSCI, 11(2):26-37, 2019. [doi]

@article{Garoui19,
  title = {Safe-Platoon: A Formal Model for Safety Evaluation},
  author = {Mohamed Garoui},
  year = {2019},
  doi = {10.4018/IJSSCI.2019040102},
  url = {https://doi.org/10.4018/IJSSCI.2019040102},
  researchr = {https://researchr.org/publication/Garoui19},
  cites = {0},
  citedby = {0},
  journal = {IJSSCI},
  volume = {11},
  number = {2},
  pages = {26-37},
}