É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
Table des matières indisponible