Inventaire


Site en anglais

ARTIST 2

Unité : Méthodes formelles et vérification | ULB512



Description :


Artist 2 est un réseau d'excellence du 6ème programme cadre de l'Union Européenne sur le développement fiable de systèmes embarqués.  Nous
participons plus particulièrement au cluster ''Test and Verification of Embedded Systems'' du NoE. Voir http://www.artist-embedded.org/artist/

Liste des responsables :


  • RASKIN Jean-François


Liste des bailleurs :


  • Région wallonne

  • Autres U.E.