Equipe-projet SPADES Programmation de systèmes embarqués sûrs et adaptatifs L'équipe-projet SPADES cherche à maîtriser la complexité et la fiabilité de systèmes embarqués...
Equipe-projet SYCOMORES Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires L'objective de l'équipe-project commun SYCOMORES est de developper un framework pour la conception...