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