É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
Auteurs principaux : Garriou David (Auteur), Roux Olivier-Henri (Directeur de thèse), Mauras Christophe (Directeur de thèse)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), Centrale Nantes 1991-.... (Autre partenaire associé à la thèse), École doctorale sciences et technologies de l'information et des matériaux Nantes (Ecole doctorale associée à la 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.
Condition d'utilisation et de reproduction : Publication autorisée par le jury
Note de thèse : Thèse de doctorat : Automatique et informatique appliquée : Nantes : 2002
Sujets :
Documents associés : Reproduit comme: Étude et mise en oeuvre de la simulation symbolique de programmes réactifs synchrones
Particularités de l'exemplaire : BU Sciences, Ex. 1 :
Titre temporairement indisponible à la communication

BU Sciences, Ex. 2 :
Titre temporairement indisponible à la communication


BU Sciences

Informations d'exemplaires de BU Sciences
Cote Prêt Statut
Communication impossible 02 NANT 2078 Empruntable Disponible
Communication impossible 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