|
|
Actions
en cours
AS 79 : Méthodes et outils logiciels
pour le développement de systèmes d'exploitation
Gilles Muller (EMN, Nantes)
AS
111 : Techniques de spécification et de test pour les composants
logiciels de communication
Ana Rosa Cavalli (INT, Évry)
AS 161 : Testabilité
des systèmes informatiques
Lydie du Bousquet (LSR, Grenoble)
|
