<  Back to the Polytechnique Montréal portal

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

Rachid Hadjidj

PhD thesis (2006)

[img]
Preview
Published Version
Terms of Use: All rights reserved.
Download (5MB)
Cite this document: Hadjidj, R. (2006). Analyse et validation formelle des systèmes temps réel (PhD thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/7556/
Show abstract Hide abstract

Abstract

Notions préliminaires -- Les réseaux de petri temporels (modèle tpn) -- Abstraction du modèle TPN -- Notre caractérisation du modèle d'états abstraits -- Le graphe des zones d'états concrets -- Vérification des propriétés temporisées du modèle TPN.

Uncontrolled Keywords

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

Open Access document in PolyPublie
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: Département de génie informatique et génie logiciel
Date Deposited: 04 Aug 2021 11:05
Last Modified: 25 Aug 2021 14:58
PolyPublie URL: https://publications.polymtl.ca/7556/

Statistics

Total downloads

Downloads per month in the last year

Origin of downloads

Repository Staff Only