Formal Methods
February 2019
Kick-off of the HLL community
The HLL community, which brings together the main promoters, users and tools suppliers of the HLL language, met for the first time last December in Paris.
Conferences and fairs
October 2018
Risks mastering and digital transformation
The 21st symposium of the Institut pour la Maîtrise des Risques (IMdR, Institute for Risks Mastering) on the « risks mastering and digital transformation: opportunities and threats » theme will be held 16-18 October in Reims.
Systerel will give a presentation entitled “Towards a safe and cyber-secure implementation of the OPC-UA protocol” which will address the combined safety/security certification issue.