Lambda Mu 15 Conference Exhibitions/conferences

Controlling operational risks and safety. Lambda Mu 15 Conference in Lille from 9 to 12 October 2005. Meet CLEARSY at […]

AFIS 2006 Conference Exhibitions/conferences

Coppilot was presented on the occasion of the AFIS 2006 Conference (Association of French System Engineering) in Toulouse on May […]

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.

Globalplatform card specification v2.1.1 Microelectronics

INRIA’s EVEREST team developed a formal B model of the Globalplatform specifications. You may download this model.

RODIN: a three year Project Computer science

The RODIN project (development of an open platform to design systems that tolerate errors) has begun. The objective of this […]

B4Free Computer science

B4free, the development environment for B models, is available to the scientific community: B4Free.com

SSSI web
Fire supervision in Paris metro stations Fire safety, Railway

CLEARSY in charge of the Signalling and Command Report for the RATP The SYMPHONIE SSI project aims to provide the […]

Need a custom-made system ?

We are safety software and systems designers.  Contact us and let's discuss your project together!

Filter posts