EURO-MILS Contrat europeen Oct. 2012 - Mars 2016 Equipe : Vérification d'Algorithmes, Langages et Systèmes Responsable : WOLFF Burkhart Gestionnaire :  Organisme gérant : Université Paris XI
EURO-MILS Activités de recherche   Formalisation de langages (de spécification et de programmation) dans les assistants de preuve   Test formel basé sur les modèles Membres LRI WOLFF Burkhart

° SESAME DIGIPODS UPS
INTERACTION COLLABORATIVE à DISTANCE ENTRE PLATEFORMES DE VISUALISATION HéTéROGèNES
REGION IDF