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 | Site Map | Site powered by SPIP 3.0.22 + AHUNTSIC [CC License]

info visites 702984