Contact

Séminaire technique à l’Université de Newcastle

Séminaire technique à l’Université de Newcastle

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

Vous aimerez aussi :

Copy link
Powered by Social Snap