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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.