Liens externes
Directories
Faculties
Libraries
Campus maps
Sites A to Z
My UdeM
Mon portail UdeM
My email
StudiUM
Search in :
Toggle navigation
Papyrus
: Institutional Repository
Papyrus
Institutional Repository
Papyrus
français
English
English
français
English
Login
English
français
English
Login
Toggle navigation
View Item
Home
Faculté des arts et des sciences
Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle
Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires
View Item
Home
Faculté des arts et des sciences
Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle
Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search Papyrus
Search this Collection
My Account
To submit an item or subscribe to email alerts.
Login
New user?
Browse
All of Papyrus
Communities and Collections
Titles
Issue Dates
Authors
Advisors
Subjects
Disciplines
Affiliation
Titles index
This Collection
Titles
Issue Dates
Authors
Advisors
Subjects
Disciplines
Affiliation
Titles index
Statistics
View Usage Statistics
Show metadata
Permalink:
http://hdl.handle.net/1866/17853
Méthodologie de conception d'un modèle comportemental pour la vérification formelle
Thesis or Dissertation
Bastien_Frederic_2006_memoire.pdf (4.203Mb)
2006 (degree granted: 2007)
Author(s)
Bastien, Frédéric
Advisor(s)
Aboulhamid, El Mostapha
BOYER, FRANCOIS-R
Vachon, Julie
Level
Master's
Discipline
Informatique
Keywords
Systèmes électroniques
Model checking
Vérification de modèle
Vérification formelle
Réseau de Petri
Réseau de Petri coloré
CPN Tools
Graphe d'états
Graphe de composantes fortement connexes
Note(s)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
Collections
Thèses et mémoires électroniques de l’Université de Montréal
[16883]
Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires
[724]