Thesis and Dissertation

A Model Checking Based Framework ...

Hallal, H. H. A Model Checking Based Framework for the Trace Analysis of Distributed Systems Montréal. Université McGill, 2007. 210 p. Thèse de doctorat en génie électrique et informatique.

  • Infolettre de juin 2018 - Voici les dernières nouvelles du CRIM, ses membres et partenaires https://t.co/e4pU6hMa4j https://t.co/YSVe1z1SNB
  • technopolys RT @technopolys_qc: Gestion de réunions : le CRIM et Luffa deviennent partenaires https://t.co/zkpnadMXGv