Postdoc: December 2001 to November 2002
Synthèse de contrôleurs discrets et systèmes temps-réel.
Discrete controller synthesis and real-time systems.
Karine.Altisen@inrialpes.fr