Collaboration avec Labsoc

Labsoc fait appel à nos travaux en matière de méthodologie UML-B dans le cadre de modélisation des systèmes d’exploitation.