Conference , Workshops Proceedings

Vérification des systèmes hybrides ...

Vachon, J., Sahraoui, H. A., Essalihe, M. et Nilie, H. "Vérification des systèmes hybrides objets-règles" dans Actes de la Conférence Langage Modèles et Objets (LMO2004). Lille, France

  • Montréal Intl RT @MTLINTL: Par où commencer ses démarches d’#immigration? #JechoisisMontréal lance une nouvelle #vidéo qui démystifie le processus de man…
  • Prompt_Innovation RT @Prompt_Innov: Activité de maillage organisée par #prompt et @lsirois007 avec des #chercheurs d' @etsmtl @polymtl @CRIM_ca @IVADO_Qc pr…