Thesis and Dissertation

Formalizing Properties for Trace Analysis

Fan, Q. Formalizing Properties for Trace Analysis Montréal. University of McGill, 2003. 250 p. Master of Engineering in Electrical and Computer Engineering.

  • Le CRIM est partout! Pour les dernières nouvelles, consultez l'infolettre! https://t.co/rqohY13zFg
  • @TECHNOCompetenc et le CRIM présentent une Classe de Maîtres sur les nouveaux standards Web et Angular en collabora… https://t.co/4718RrHKfa