É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:
Auteur principal : | |
---|---|
Collectivités auteurs : | , , |
Autres 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. |
Note de thèse : | Thèse doctorat : Automatique et informatique appliquée : Nantes : 2002 |
Disponibilité : | Publication autorisée par le jury |
Sujets : |
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
| Cote | Prêt | Statut |
---|---|---|---|
Magasin 3 | Th.1997 bis | Empruntable | Disponible |
Magasin 3 | Th.1997 | Exclu du prêt | Disponible |