Olivier H. Roux
Professeur - Ecole Centrale de Nantes
Laboratoire IRCCyN (UMR CNRS 6597).
no-spam.olivier-h.roux@irccyn.ec-nantes.fr - Tél : (+33) 2 40 37 69 76
Page web : http://www.irccyn.ec-nantes.fr/~olivier
Thèmes de recherche
- Vérification et contrôle d'applications temps réel embarquées.
- Expressivité, model-checking et contrôle des réseaux de Petri :
- temporels,
- paramétriques,
- à chronomètres.