Méthodologie de conception d'un modèle comportemental pour la vérification formelle
dc.contributor.advisor | Aboulhamid, El Mostapha | |
dc.contributor.advisor | BOYER, FRANCOIS-R | |
dc.contributor.advisor | Vachon, Julie | |
dc.contributor.author | Bastien, Frédéric | |
dc.date.accessioned | 2017-03-15T01:53:00Z | |
dc.date.available | 2017-03-15T01:53:00Z | |
dc.date.issued | 2007 | |
dc.date.submitted | 2006 | |
dc.identifier.uri | http://hdl.handle.net/1866/17853 | |
dc.subject | Systèmes électroniques | |
dc.subject | Model checking | |
dc.subject | Vérification de modèle | |
dc.subject | Vérification formelle | |
dc.subject | Réseau de Petri | |
dc.subject | Réseau de Petri coloré | |
dc.subject | CPN Tools | |
dc.subject | Graphe d'états | |
dc.subject | Graphe de composantes fortement connexes | |
dc.title | Méthodologie de conception d'un modèle comportemental pour la vérification formelle | |
dc.type | Thèse ou mémoire / Thesis or Dissertation | |
etd.degree.discipline | Informatique | fr |
etd.degree.grantor | Université de Montréal | fr |
etd.degree.level | Maîtrise / Master's | |
etd.degree.name | M. Sc. | |
dcterms.description | Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal. | fr |
dcterms.language | fra |
Files in this item
This item appears in the following Collection(s)
This document disseminated on Papyrus is the exclusive property of the copyright holders and is protected by the Copyright Act (R.S.C. 1985, c. C-42). It may be used for fair dealing and non-commercial purposes, for private study or research, criticism and review as provided by law. For any other use, written authorization from the copyright holders is required.