Systèmes Sûrs


ICFEM 2015 - The 17th International Conference on Formal Engineering Methods

Since 1997, ICFEM has been serving as an international forum for researchers and practitioners...
03-11-2015 au 07-11-2015 - Cnam

1st International Workshop about Sets and Tools (SETS 2014)

Affiliated to ABZ 2014 international conference The workshop aims at bringing together...
03-06-2014 - Toulouse, France

Anciens Axes

Axes actuels