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.

  • @inocanada - Deuxième appel à candidatures QUANTINO Vous avez une entreprise innovante en démarrage oeuvrant en opt… https://t.co/78cOFuEZq4
  • Nous sommes fiers de faire partie d'une sphère humaine réunissant tous les acteurs motivés à bâtir un monde meilleu… https://t.co/4HQoiDQE7z