Section 7 - Sciences de l'information: signaux, images, langues, automatique, robotique, interactions, systèmes intégrés matériel-logiciel > IX. Systèmes et architectures intégrés matériel-logiciel > Conception, modélisation, vérification, test, simulation, reconfiguration