Documents publiés en "2005"

Département de génie informatique et génie logiciel

Rakkay, H. (2005). Modélisation et vérification du contrôle de flots d'information au moyen de réseaux de Pétri colorés temporisés [Mémoire de maîtrise, École Polytechnique de Montréal]. Non disponible