Show item record

dc.contributor.advisorAboulhamid, El Mostapha
dc.contributor.advisorBOYER, FRANCOIS-R
dc.contributor.advisorVachon, Julie
dc.contributor.authorBastien, Frédéric
dc.date.accessioned2017-03-15T01:53:00Z
dc.date.available2017-03-15T01:53:00Z
dc.date.issued2007
dc.date.submitted2006
dc.identifier.urihttp://hdl.handle.net/1866/17853
dc.subjectSystèmes électroniques
dc.subjectModel checking
dc.subjectVérification de modèle
dc.subjectVérification formelle
dc.subjectRéseau de Petri
dc.subjectRéseau de Petri coloré
dc.subjectCPN Tools
dc.subjectGraphe d'états
dc.subjectGraphe de composantes fortement connexes
dc.titleMéthodologie de conception d'un modèle comportemental pour la vérification formelle
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.languagefra


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show item record