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.

  • Thank you for supporting innovative initiatives and collaborative work! https://t.co/h2TvLneAbp
  • Découvrez la #startech @technopolys_qc de la semaine → l'entreprise Hospitalis : moteur d’efficacité clinique! https://t.co/pE7TZbmfp0