Stages du parcours SRLC
Filtrer par titres     Affichage # 
1 ONERA: Spécification formelle et vérification par model checking de modèles d'exigences Lundi 23 Novembre 2015
2 IRIT / Assemblage dynamique et opportuniste de composants logiciels pour les systèmes ambiants, mobi Jeudi 12 Novembre 2015