Rechercher

Systèmes Sûrs

Groupes

Evenements

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

Projets

Anciens projets

  • - 01-09-2012 - 10-06-2013 -