Thesis and Dissertation

A Formal Framework for ...

Haydar, M. A Formal Framework for Run-Time Verification of Web Applications : An Approach Supported by Scope-Extended Linear Temporal Logic Montréal. Université de Montréal, 2007. 187 p. Thèse de doctorat en informatique.

  • Le CRIM est heureux d'être l'hôte du Montreal Apache Spark Meetup du 18 décembre : https://t.co/KPi5y7lMM3 https://t.co/W43EX2Isyl
  • L’Internet des Objets (IdO) en milieu manufacturier - Webinaire présenté par @economie_quebec en collaboration avec… https://t.co/LPz4Kb0SJG