page d'accueil   sommaire  

ARTIST 2

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/ [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/]



responsable


Jean-François RASKIN


équipe


Pierre GANTY Gilles GEERAERTS Thierry MASSART Frédéric SERVAIS


disciplines et mots clés déclarés


Informatique appliquée logiciel Informatique mathématique

robustesse verification logicielle