FORMOSE : une méthode outillée de modélisation formelle des exigences pour des systèmes complexes critiques

16 novembre 2020

Régine Laleau (LACL)