Publié le 24/04/2014 |

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