Un générateur CP pour la vérification temporelle des contrôleurs d'interfaces

Zhang, Ying

dc.contributor.advisor	Cerny, Eduard
dc.contributor.author	Zhang, Ying
dc.date.accessioned	2023-09-29T15:34:21Z
dc.date.available	2023-09-29T15:34:21Z
dc.date.issued	2001
dc.date.submitted	2001
dc.identifier.uri	http://hdl.handle.net/1866/30704
dc.subject	Vérification temporelle des interfaces
dc.subject	Chronogramme
dc.subject	Machine à états fins
dc.subject	Programmation logique avec contraintes
dc.subject	L'arithmétique relationnelle des intervalles
dc.title	Un générateur CP pour la vérification temporelle des contrôleurs d'interfaces
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

Files in this item

Name:: Zhang_Ying_2001_memoire.pdf
Size:: 11.06Mb
Format:: PDF
Description:: Mémoire

This item appears in the following Collection(s)

Thèses et mémoires électroniques de l’Université de Montréal [24306]
Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires [1178]

Show item record

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.