Site en français


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

List of persons in charge :

  • RASKIN Jean-François

List of lessors :

  • Région wallonne

  • Autres U.E.