Séminaire technique à l’Université de Newcastle

30 septembre 2013

CLEARSY intervient à l’occasion d’un séminaire technique organisé par l’Université de Newcastle le 24 Octobre 2013.

Un exposé d’une heure, intitulé « Are Formal Methods Sufficient to Ensure Safety in the Railways ? », permettra de faire un tour d’horizon des pratiques industrielles en matière de méthodes formelles