Sites Inria

English version

Equipe de recherche SPECTRE

Spécification et programmation des systèmes communicants et temps réel

  • Responsable : Joseph Sifakis
  • Centre(s) de recherche : CRI Grenoble - Rhône-Alpes
  • Domaine : Réseaux et systèmes
  • Thème : Programmation distribuée et temps réel

Mots-clés : Concurrence Génération de code Génie logiciel Interface graphique Interprétation abstraite Langage synchrone Logique temporelle Parallélisme Programmation parall&egr

Suivez Inria