Méthodes Formelles, Salons - Conférences novembre 2016 High Integrity Software 2016 Systerel a présenté son retour d’expérience de plus de 20 ans sur l’utilisation des méthodes formelles dans les logiciels critiques ferroviaires. Méthodes Formelles, Salons - Conférences octobre 2016 Séminaire Dagstuhl : universalité des preuves Systerel a participé du 16 au 21 octobre au séminaire Dagstuhl sur le thème de « l’universalité des preuves ».
Méthodes Formelles, Salons - Conférences novembre 2016 High Integrity Software 2016 Systerel a présenté son retour d’expérience de plus de 20 ans sur l’utilisation des méthodes formelles dans les logiciels critiques ferroviaires.
Méthodes Formelles, Salons - Conférences octobre 2016 Séminaire Dagstuhl : universalité des preuves Systerel a participé du 16 au 21 octobre au séminaire Dagstuhl sur le thème de « l’universalité des preuves ».
