Return to search

A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Identiferoai:union.ndltd.org:umontreal.ca/oai:papyrus.bib.umontreal.ca:1866/17888
Date January 2007
CreatorsHaydar, May
ContributorsSahraoui, Houari, PETRENKO, ALEXANDRE
Source SetsUniversité de Montréal
LanguageEnglish
Detected LanguageFrench
TypeThèse ou Mémoire numérique / Electronic Thesis or Dissertation

Page generated in 0.0021 seconds