• Le réseau comprend des Actions Spécifiques :
  
  Terminées:
  
  Vérification de Propriétés Quantitatives n°22
  ANIMATEURS : Nicolas Halbwachs et Philippe Schnoebelen
  SITE WEB : http://www-verimag.imag.fr/AS22/
  
  RAPPORT : "Rapport final"
  

Techniques avancées de tests des systèmes complexes n°23
ANIMATEURS : Richard Castanet et Hélène Waeselynck
SITE WEB : http://www.laas.fr/TSF/AS23/

RAPPORT : "Test avancé de systèmes complexes, test de robustesse"

En cours:

Sécurité Logicielle: Modèles et Vérification
ANIMATEURS : Yassine Laknech, Hubert Comon, Thomas Jensen et Frédéric Cuppens

Observation et supervision de systèmes complexes, répartis et dynamiques
ANIMATEURS : Claude Jard, Jean-Bernard Stefani
SITE WEB : http://www.irisa.fr/distribcom/AS-OSS-CR/OSS-CR.html