É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...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Garriou David (Auteur)
Collectivités auteurs : É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)
Autres auteurs : Mauras Christophe, Roux Olivier (Directeur de thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : É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
Publié : [S.l.] : [s.n.] , 2002
Description matérielle : 110 p.
Note de thèse : Thèse doctorat : Automatique et informatique appliquée : Nantes : 2002
Disponibilité : Publication autorisée par le jury
Sujets :
Temps réel (informatique) > Thèses
Simulation, Méthodes de > Thèses

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Magasin aérotherme 02 NANT 2078 Empruntable Disponible
Magasin aérotherme 02 NANT 2078 Exclu du prêt Disponible

Bib. Centrale Nantes

Informations d'exemplaires de Bib. Centrale Nantes
‌ Cote Prêt Statut
Magasin 3 Th.1997 bis Empruntable Disponible
Magasin 3 Th.1997 Exclu du prêt Disponible