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]
Abstract is missing.