Safety modeling and evaluation of Automated Highway Systems

Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun. Safety modeling and evaluation of Automated Highway Systems. In Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, Estoril, Lisbon, Portugal, June 29 - July 2, 2009. pages 73-82, IEEE, 2009. [doi]

@inproceedings{HamoudaKK09,
  title = {Safety modeling and evaluation of Automated Highway Systems},
  author = {Ossama Hamouda and Mohamed Kaâniche and Karama Kanoun},
  year = {2009},
  doi = {10.1109/DSN.2009.5270352},
  url = {http://dx.doi.org/10.1109/DSN.2009.5270352},
  tags = {modeling},
  researchr = {https://researchr.org/publication/HamoudaKK09},
  cites = {0},
  citedby = {0},
  pages = {73-82},
  booktitle = {Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN  2009, Estoril, Lisbon, Portugal, June 29 - July 2, 2009},
  publisher = {IEEE},
}