Séminaires LoVe :
Compositional Verification of Embedded Real-Time Systems
#SéminaireLoVe
Mohammed Foughali
2023-06-23 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
#SéminaireLoVe
Ludovic Patey
2023-02-09 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
tba
#SéminaireLoVe
Cameron Calk
2023-03-23 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
#SéminaireLoVe
Jérémy Ledent
2023-03-16 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Vers des Processus Métier Corrects basés sur la Blockchain
#SéminaireLoVe
Ikram Garfatta
2022-12-09 12:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse