21 July 2020
At the occasion of the ISSRE 2016 conference (27th International Symposium on Software Reliability Engineering), CLEARSY has been invited to share its return of experience in using formal methods for safe and secure industrial applications. This conference will be held in Ottawa (Canada) from October 23-27, 2016.
This presentation will complete the two other keynotes given by Rajeev Joshi (NASA Jet Propulsion Laboratory) and Philip Koopman (Carnegy Mellon University).