Conferences and fairs
JUNE 2022
Embedded World – safe&secure offer
Come and meet our experts and learn more about our safe and secure products such as S2OPC and the digital relay “SnS StaR”
Formal Methods
OCTOBER 2021
HLL language for formal verification of critical software or systems
Systerel publishes a new version of the HLL specification document (HLL LFD) and submits it to the next HLL Forum review in order to converge on the new definition of the language in collaboration with the other actors of the community.