2013

Integer Occupancy Grids : a probabilistic multi-sensor fusion framework for embedded perception

LACOTA Alvin

Projet de fin d'études Licence

2013

Conception et evaluation des systemes logiciels de classifications de paquets haute-performance

COOPER Wendy

Projet de fin d'études Licence

2012

Analyse automatique de proprietes dequivalence pour les protocoles cryptographiques

Projet de fin d'études Licence