Afficher la notice

dc.contributor.advisorSahraoui, Houari
dc.contributor.advisorPETRENKO, ALEXANDRE
dc.contributor.authorBarburas, Doina Mirela
dc.date.accessioned2017-03-15T01:20:59Z
dc.date.available2017-03-15T01:20:59Z
dc.date.issued2006
dc.date.submitted2006
dc.identifier.urihttp://hdl.handle.net/1866/16729
dc.subjectvérificateur de modèles
dc.subjectApplication web
dc.subjectMachine à états finis
dc.subjectVérification des liens
dc.titleFormal checking of web based applications
dc.typeThèse ou mémoire / Thesis or Dissertation
etd.degree.disciplineInformatiquefr
etd.degree.grantorUniversité de Montréalfr
etd.degree.levelMaîtrise / Master's
etd.degree.nameM. Sc.
dcterms.descriptionMémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.fr
dcterms.languageeng


Fichier·s constituant ce document

Vignette

Ce document figure dans la ou les collections suivantes

Afficher la notice

Ce document diffusé sur Papyrus est la propriété exclusive des titulaires des droits d'auteur et est protégé par la Loi sur le droit d'auteur (L.R.C. (1985), ch. C-42). Il peut être utilisé dans le cadre d'une utilisation équitable et non commerciale, à des fins d'étude privée ou de recherche, de critique ou de compte-rendu comme le prévoit la Loi. Pour toute autre utilisation, une autorisation écrite des titulaires des droits d'auteur sera nécessaire.