Show item record

dc.contributor.advisorSahraoui, Houari
dc.contributor.advisorDury, Arnaud
dc.contributor.authorBen Ayed, Nourchène
dc.date.accessioned2016-09-21T14:28:54Z
dc.date.available2016-09-21T14:28:54Z
dc.date.issued2003
dc.date.submitted2003
dc.identifier.urihttp://hdl.handle.net/1866/14525
dc.subjectProtocoles d'interaction
dc.subjectVérification formelle
dc.subjectModel-checking
dc.subjectSystèmes multiagents
dc.subjectObservation
dc.titleAnalyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents
dc.typeThèse ou mémoire / Thesis or Dissertation
etd.degree.disciplineInformatiquefr
etd.degree.grantorUniversité de Montréal (Faculté des études supérieures)fr
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.languagefra


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show item record