21 July 2020
At the occasion of the conference RSSR 2019 held on 4-6 June 2019 in Lille, CLEARSY presents the paper entitled “B-specification of Relay-based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution”, the poster “Porting Relay-Based Schemas to a SIL4 Programmable Control Platform” and demonstrate the CLEARSY Safety Platform at its stand.