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.

  • #ÉvénementPartenaire : Forum CIRANO-ADRIQ - Françoys Labonté siégera sur un panel autour de la formation et l'accom… https://t.co/QmyYdYO4Eg
  • TechnoMontreal RT @TechnoMontreal: Le ministre de @economie_quebec @MinFitzgibbon sera présent lors de l'événement Futur des technologies, pour soutenir l…