tThe international conference on formal methods (FM 2018)

Formal methods for cyber-physical systems – Shonan

Formal Data Validation Tutorial at ABZ 2014, Toulouse

Newcastle University Technical Seminar

SYSTEM LEVEL FORMAL PROOFS FOR THE CBTC OF THE NEW YORK FLUSHING LINE

Technical conference on formal method organized by Aerospace Valley

From Research to Teaching Formal Methods: the B Method