Youssef Azdoud, Aouatif Amine, Nawal Alioua, Mohammed Rziza. Pre collision detection system for pedestrian safety based on HOL. In 12th IEEE/ACS International Conference of Computer Systems and Applications, AICCSA 2015, Marrakech, Morocco, November 17-20, 2015. pages 1-2, IEEE, 2015. [doi]
@inproceedings{AzdoudAAR15, title = {Pre collision detection system for pedestrian safety based on HOL}, author = {Youssef Azdoud and Aouatif Amine and Nawal Alioua and Mohammed Rziza}, year = {2015}, doi = {10.1109/AICCSA.2015.7507137}, url = {http://dx.doi.org/10.1109/AICCSA.2015.7507137}, researchr = {https://researchr.org/publication/AzdoudAAR15}, cites = {0}, citedby = {0}, pages = {1-2}, booktitle = {12th IEEE/ACS International Conference of Computer Systems and Applications, AICCSA 2015, Marrakech, Morocco, November 17-20, 2015}, publisher = {IEEE}, isbn = {978-1-5090-0478-2}, }