Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Gérard Berry
Gérard Berry
at_id:
orcid_id:
Disciplines:
Applied sciences
Computer sciences
Edit
Merge
See Links
Directed Thesis:
Exploration implicite et explicite de l'espace d'états atteignables de circuits logiques Estérel
Analyse constructive et optimisation séquentielle des circuits générés à partir du langage synchrone réactif ESTEREL
Exécution de tâches asynchrones depuis ESTEREL
Sahara : un environnement de mise au point graphique pour les programmes esterel
Le systeme esterel v2
Sémantiques et modèles d'exécution des langages réactifs synchrones : application à Esterel