|
|
Thesis
(in
French)
These theses
are available in printed form and can be requested by writing to:
CMA/ENSMP
BP 207
06904 SOPHIA ANTIPOLIS Cedex
FRANCE
fax: (33) 4 93 95 74 98
or by sending an e-mail.
- Sahara
: un environnement de mise au point graphique pour les programmes Esterel
Guido GHERARDI. Thèse de l'Ecole des Mines de Paris, Décembre
1992.
- Exécution
de tâches asynchrones depuis Esterel
Jean-Pierre PARIS. Thèse de l'Ecole des Mines de Paris, Juillet
1992.
- Azur:
un environnement Esterel sous Centaur. J-B. SAINT. Thèse
d'informatique, Université Paris VII, 1992.
- Synchronisme
et asynchronisme dans la programmation des systèmes robotiques
: apport du langage Esterel et de concepts objets.
Eve COSTE-MANIERE. Thèse de l'Ecole des Mines de Paris, Juillet
1991.
- Esterel
v4 : une extension modulaire d'Esterel
Raphaël BERNHARD. Thèse de l'Ecole des Mines de Paris,
Novembre 1991.
- Le
sytème Esterel v2.
Philippe COURONNE. Thèse de l'Ecole des Mines de Paris, Décembre
1989.
- Vérification
automatique de programmes Esterel.
Valérie LECOMPTE. Thèse de l'Ecole des Mines de Paris,
Juin 1989.
- D'un
parapheur à un éditeur syntaxique et graphique pour le
langage Esterel.
Colas NAHABOO. Thèse de l'Ecole des Mines de Paris, Novembre
1988.
- Sémantiques
et modèles d'exécution des langages réactifs synchrones
; application à Esterel.
Georges GONTHIER. Thèse de l'Ecole des Mines de Paris, Mars
1988.
- Sémantique
opérationnelle du langage synchrone Esterel.
Laurent COSSERAT. Thèse de docteur-ingénieur, Université
de Nice, 1985.
|
