Faculté / Département ⤶ |
Répertoire par Unités | Répertoire par Projets | Répertoire des Chercheurs |
Répertoire par Collaborations | Classement par Domaines | Classement par Frascati | Disciplines CREF |
Unité : Méthodes formelles et vérification | ULB512
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/
• Région wallonne
• Autres U.E.