Service Informatique




Guy Vidal-Naquet, Professeur

Adresse électronique : Guy.Vidal-Naquet@supelec.fr
Adresse postale :
Supélec
Plateau de Moulon
91192 Gif-sur-Yvette Cedex
France
Téléphone : (33 1) 69 85 14 75
Fax : (33 1) 69 85 12 34

Centres d'interêt

  • Modèles du parallélisme et de la distribution
  • Langages Synchrones (Esterel, Lustre, Signal, Argos)
  • Systèmes Temps Réel

    • Recherche

    Modèles formels pour les systèmes parallèles et distribués, en particulier ceux ayant des caractéristiques dynamiques: création et destruction de processus, reconfiguration des communications

    Documents de cours

    Transparents du cours "Langages formels et Sémantique" Transparents du cours "Programmation Synchrone" Notes de cours "Logique temporelle"

    Publications