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.