Compositional Verification of Embedded Real-Time Systems

Mohammed Foughali

2023-09-08 12:15:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse