![Clearsy Thumbnail](https://www.atelierb.eu/wp-content/uploads/2022/11/Clearsy-Thumbnail.png)
Publié le 30/09/2013 |
CLEARSY intervient à l’occasion d’un séminaire technique organisé par l’Université de Newcastle le 24 Octobre 2013.
![](https://www.atelierb.eu/wp-content/uploads/2013/09/ncl.jpg)
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