Groupe

LVP

LVP : Langages et vérification de programmes

HiFi

HiFi : Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents

GLIA

GLIA : Génie Logiciel et Intelligence Artificielle

Description du groupe CLAP

CLAP : Compilation, Langages, Analyses, Parallélisme

Responsables

  • Ludovic Henrio

  • Frédéric Dabrowski

Site web du groupe : https://gdrgpl.myxwiki.org/xwiki/bin/view/Main/GTs/GT%20compilation/

CLAP

CLAP : Compilation, Langages, Analyses, Parallélisme

Description de l'action ALROB


ALROB : Architectures Logicielles pour la ROBotique autonome et les systèmes auto-adaptables

Responsables :

  • Jacques Malenfant
  • David Andreu
  • Noury Bouraqadi
  • Serge Stinckwich

Thématique scientifique

ALROB

ALROB : Architectures Logicielles pour la ROBotique autonome et les systèmes adaptables

Pages

S'abonner à RSS - Groupe