Archives mensuelles : juillet 2013

System Level Formal (Proof Based) Verification For The CBTC of New York’s line 7 (Flushing)

Following our post « Event-B to demonstrate metro safety in New York« , a presentation of the final results of the project have been presented in Paris on June 26th.

Publié dans Applications, Event | Laisser un commentaire