Inventaire


Site en français

ARTIST 2

Units : Verification and formal methods | ULB512



Description :


Artist 2 is an excellence network of the 6th framework programme of the European Union dedicated to the reliable development of
embedded and embarked systems. We take part more specifically in the cluster ''Test and Verification of Embedded Systems'' of the
NoE. See http://www.artist-embedded.org/artist/

List of persons in charge :


  • RASKIN Jean-François


List of lessors :


  • Région wallonne

  • Autres U.E.