Connexion utilisateur
Author Location
Javascript is required to view this map.
Accueil | Olivier H. Roux

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.

Publications

http://www.irccyn.ec-nantes.fr/~olivier/publications.html