Thierry Lecomte is R&D Project Director at CLEARSY. His talks is entitled: “Formalization for securing critical applications”
When: May 17, 2023, 2PM-3PM
Where: SR1, LIFO, Université d’Orléans, France
Languages, Models and Verification
Thierry Lecomte is R&D Project Director at CLEARSY. His talks is entitled: “Formalization for securing critical applications”
When: May 17, 2023, 2PM-3PM
Where: SR1, LIFO, Université d’Orléans, France