Thierry Lecomte

Formal methods for cyber-physical systems – Shonan

International conference SBMF 2017

CLEARSY will participate to the international conference SBMF 2017 (http://sbmf2017.cin.ufpe.br/) on formal methods that will take place on November...

Formal methods for cyber-physical systems – Shonan

Atelier B 4.2.1 Free

Atelier B 4.2.1 Free is available for download. It corrects the errors related to the introduction of the new tool bxml and the lack of default values for the...