AFADL’06 Exhibitions/conferences

CLEARSY participated in AFADL’06 (March 15, 16 and 17, 2006). Demonstration of a new support tool for system specifications: CompoSys. […]

Verification of the Coherence of the UML – ENST PA Exhibitions/conferences

Presentation by CLEARSY on the verification of Statecharts with the B Method.

SIFER 2017 – Come to see us ! Exhibitions/conferences, Railway

CLEARSY participates on SIFER 2017, from 21st till 23rd March 2017, in the Grand Palais in Lille. SIFER, has for […]

Swedish fair dedicated to the Rail Transport Sector Exhibitions/conferences, Railway

CLEARSY participated in the “Nordic Elmia Rail” fair, which took place from 6th to 8th October 2009, in Jonkoping in […]