PhD Defense: Dylan Marinho (Veridis)
A008Dylan Marinho (Veridis) will defend his thesis, entitled "Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty", on Tuesday, October 3 at […]


