Pre collision detection system for pedestrian safety based on HOL

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]

Authors

Youssef Azdoud

This author has not been identified. Look up 'Youssef Azdoud' in Google

Aouatif Amine

This author has not been identified. Look up 'Aouatif Amine' in Google

Nawal Alioua

This author has not been identified. Look up 'Nawal Alioua' in Google

Mohammed Rziza

This author has not been identified. Look up 'Mohammed Rziza' in Google