Étude et mise en oeuvre de la simulation symbolique de programmes réactifs synchrones

Étude et mise en oeuvre de la simulation symbolique de programmes réactifs synchrones

Ce travail décrit la simulation symbolique de programmes appliquée à la programmation réactive synchrone. Cette technique prend en compte les aspects booléens et numériques des programmes. La simulation symbolique est une approche intermédiaire pour l'analyse des systèmes réactifs. Elle se situ...

Full description

Saved in:
Bibliographic Details
Main Author : Garriou David (Auteur)
Corporate Authors : École doctorale sciences et technologies de l'information et des matériaux Nantes (Organisme de soutenance), Centrale Nantes 1991-.... (Organisme de soutenance), Université de Nantes 1962-2021 (Organisme de soutenance)
Other Authors : Mauras Christophe, Roux Olivier (Directeur de thèse)
Format : Thesis
Language : français
Title statement : Étude et mise en oeuvre de la simulation symbolique de programmes réactifs synchrones / David Garriou; [sous la dir. de] Olivier Roux et Christophe Mauras
Published : [S.l.] : [s.n.] , 2002
Physical Description : 110 p.
Note de thèse : Thèse doctorat : Automatique et informatique appliquée : Nantes : 2002
Availability : Publication autorisée par le jury
Subjects :
Temps réel (informatique) > Thèses
Simulation, Méthodes de > Thèses

BU Sciences

Holdings details from BU Sciences
Location Call Number Loan type Status
Magasin aérotherme 02 NANT 2078 Empruntable Available
Magasin aérotherme 02 NANT 2078 Exclu du prêt Disponible

Bib. Centrale Nantes

Holdings details from Bib. Centrale Nantes
Location Call Number Loan type Status
Magasin 3 Th.1997 bis Empruntable Available
Magasin 3 Th.1997 Exclu du prêt Disponible