Publié le 30/09/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