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.

  • 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