Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables
| dc.contributor.advisor | Aboulhamid, El Mostapha | |
| dc.contributor.advisor | Savaria, Yvon | |
| dc.contributor.author | Gorse, Nicolas | |
| dc.date.accessioned | 2017-03-15T01:20:53Z | |
| dc.date.available | 2017-03-15T01:20:53Z | |
| dc.date.issued | 2006 | |
| dc.date.submitted | 2005 | |
| dc.identifier.uri | http://hdl.handle.net/1866/16718 | |
| dc.subject | Systèmes électroniques | |
| dc.subject | Méthodes formelles | |
| dc.subject | Qualité | |
| dc.subject | Fiabilité | |
| dc.subject | Ingénierie des exigences | |
| dc.subject | Tolérance aux pannes | |
| dc.title | Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables | |
| 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 | Doctorat / Doctoral | |
| etd.degree.name | Ph. D. | |
| dcterms.description | Thèse numérisée 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.