<  Back to the Polytechnique Montréal portal

Analyse et validation formelle des systèmes temps réel

Rachid Hadjidj

Ph.D. thesis (2006)

Open Access document in PolyPublie
[img]
Preview
Open Access to the full text of this document
Published Version
Terms of Use: All rights reserved
Download (5MB)
Show abstract
Hide abstract

Uncontrolled Keywords

Temps réel (Informatique); Réseaux de Pétri -- Modèles mathématiques

Additional Information: Le fichier PDF de ce document a été produit par Bibliothèque et Archives Canada selon les termes du programme Thèses Canada https://canada.on.worldcat.org/oclc/182040100
Department: Department of Computer Engineering and Software Engineering
Academic/Research Directors: Hanifa Boucheneb
PolyPublie URL: https://publications.polymtl.ca/7556/
Institution: École Polytechnique de Montréal
Date Deposited: 04 Aug 2021 11:05
Last Modified: 30 Sep 2024 23:48
Cite in APA 7: Hadjidj, R. (2006). Analyse et validation formelle des systèmes temps réel [Ph.D. thesis, École Polytechnique de Montréal]. PolyPublie. https://publications.polymtl.ca/7556/

Statistics

Total downloads

Downloads per month in the last year

Origin of downloads

Repository Staff Only

View Item View Item