
Registered user since Wed 5 May 2021
Name:Thierry Lecomte
Country:France
Affiliation:CLEARSY
Personal website: https://www.clearsy.com
Research interests:Safety, security, formal methods
Contributions
Using general profile
Registered user since Wed 5 May 2021
Contributions