News - Page 17 of 28

CLEARSY organizes a technical seminar that will take place at Sherbrooke University, October 20, 2016 (from 10h30 to 12h). Exhibitions/conferences

The seminar, entitled “Proven software with B executing on Low Cost High integrity Platform”, is aimed at presenting the latest […]

CLEARSY vital relay was creating the buzz during Innotrans Component, Exhibitions/conferences, Railway

Vital relay certified SIL4 actually exists: CLEARSY introduced it during the global railway conference Innotrans. In September at Innotrans in […]

LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level. Exhibitions/conferences

LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the […]

CLEARSY opened an office in Canton, Connecticut Company

CLEARSY opened an office in Canton, Connecticut Since 2001, CLEARSY has promoted and has been developing the B method, a […]

CLEARSY is participating to InnoTrans, the leading international trade fair for transport technology Exhibitions/conferences, Railway

ClearSy is participating to InnoTrans, the leading international trade fair for transport technology, which is held in Messe Berlin from 20 to 23 September, 2016.

International Symposium on Software Reliability Engineering Exhibitions/conferences

At the occasion of the ISSRE 2016 conference (27th International Symposium on Software Reliability Engineering), CLEARSY has been invited to […]

19th Brazilian Symposium of Formal Methods Exhibitions/conferences

CLEARSY co-organizes the 19th Brazilian Symposium of Formal Methods (http://sbmf2016.imd.ufrn.br/) that will take place in Natal (RN – Brazil), November […]

Reliability, Safety and Security of Railway Systems Exhibitions/conferences, Railway

This is a new conference addressing critical problems faced by the modern railway – how to deliver reliable service to […]

Filter posts