May 25-26, 2023 the team gathered at Château des Muids for a two days working session.
Month: May 2023
[May 2023] Thierry Lecomte’s Talk
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
[May 2023] CSUR Paper Accepted
Just Accepted: Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey by Hélène Coullon, Ludovic Henrio, Frédéric Loulergue, Simon Robillard
https://doi.org/10.1145/3595376