EURO-MILS Contrat europeen Oct 2012 - Mar 2016 Group : Verification of Algorithms, Languages and Systems Principal investigator : WOLFF Burkhart Administrator :  Affiliation : Université Paris XI
EURO-MILS Research activities   Formalisation of (Specification and Programming) Languages in Proof Assistants   Formal Model-Based Testing Participants WOLFF Burkhart

° SESAME DIGIPODS UPS
REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS
REGION IDF