Université : UQAM - Free
Traitement algébrique et géométrique, filtrage spatial, transmission des images.
... Vérification et test de circuits de grande complexité. ... Environnements et outils
de génie logiciel assisté par ordinateur, outils d'intelligence artificielle ...
Spécification des systèmes distribués et classification des propriétés de
systèmes.