É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...
Enregistré dans:
Auteurs principaux : | , , |
---|---|
Collectivités auteurs : | , , |
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
| Cote | Prêt | Statut |
---|---|---|---|
Communication impossible | 02 NANT 2078 | Empruntable | Disponible |
Communication impossible | 02 NANT 2078 | Exclu du prêt | Disponible |
Bib. Centrale Nantes
| Cote | Prêt | Statut |
---|---|---|---|
Magasin 3 | Th.1997 bis | Empruntable | Disponible |
Magasin 3 | Th.1997 | Exclu du prêt | Disponible |