Show item record

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


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show item record