conferences, News conferences, News Tutorial “Using B to program the CLEARSY Safety Platform” May 18, 2021
conferences, News conferences, News The international conference on formal methods (FM 2018) June 27, 2018
conferences, News conferences, News Formal methods for cyber-physical systems – Shonan December 14, 2017
conferences, News conferences, News SYSTEM LEVEL FORMAL PROOFS FOR THE CBTC OF THE NEW YORK FLUSHING LINE July 4, 2013