Verimag

Yann Rémond

supervisor : F. Maraninchi - PhD 1998-2001

Mode-Automata, a new Construct for the Description of Running-Modes of Reactive Systems.

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)

Public LinkedIn Profile.

Publications


Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 876204