Committee:
- Florence Maraninchi (supervisor, VERIMAG)
- Guy Vidal-Naquet (reviewer, Supelec)
- Frédéric Boussinot (reviewer, INRIA Sophia-Antipolis)
- Francois-Xavier Dormoy (examinator, EsterelTechnologies)
- (president, UJF, Grenoble)
Yann Rémond
supervisor: F. Maraninchi - PhD 1998-2001
Mode-Automata, a new Construct for the Description of Running-Modes of Reactive Systems.
