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}, }