CLEARSY attended the SMBF 2007 Conference in Brazil Exhibitions/conferences

CLEARSY attended the SBMF 2007 Conference and presented its article: “Formal Methods in Safety-Critical Railway Systems”. We discussed the use […]

CLEARSY at the SAFECOMP 2007 Conference Exhibitions/conferences

CLEARSY will participate in the Safecomp 2007 conference to be held on September 18 to 21, 2007 in Nuremburg, Germany. […]

CLEARSY at the SIFER 2007 Fair Exhibitions/conferences, Railway

CLEARSY was present from June 12 to 14 at the SIFER rail transport system fair. To discover our booth, visit: […]

Rodin Industry Day Exhibitions/conferences

We have the pleasure of informing you that CLEARSY are organising the Rodin Industry Day 2007. The event will take […]

Next RODIN conferences Exhibitions/conferences

Within the framework of the RODIN project, CLEARSY will be participating in the following conferences: a seminar dedicated to “Methods, […]

Neptune’2007 Conference Exhibitions/conferences

CLEARSY will participate in the Neptune 2007 Days in Paris on May 22 and 23, 2007 at the Conservatoire National […]

B2007 Conference Exhibitions/conferences

CLEARSY presented the R&D it is conducting with STMicroelectronics at the B2007 Conference, as well as its graphic modeling tool […]

RIMEL Project Exhibitions/conferences

The RIMEL (incremental refinement of event models) project was selected by the Agence National de la Recherche in the context […]