Le 28 avril 2014 à l’institut Henri Poincaré : Méthodes formelles et langages pour le développement de logiciels fiables dans l’industrie

Lors de cet après-midi industriel dont la thématique est  « Semantics of proofs and certified mathematics »,  CLEARSY présentera l’utilisation du B système dans l’industrie appliquée au cas du CBTC Flushing de New York.

https://ihp2014.pps.univ-paris-diderot.fr/doku.php?id=industry