Othman Boudarga
2023-06-26 12:00:00, #SéminaireRCLNSalle B107, bâtiment B, Université de Villetaneuse
Année : 2023
A Polyhedral Approach to the Total Matching Problem
Luca Ferrarini
2023-06-22 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
Decision support models for the extended producer
Pablo Andrés Maya
2023-06-15 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
Compositional Verification of Embedded Real-Time Systems
Mohammed Foughali
2023-09-08 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Compositional Verification of Embedded Real-Time Systems
Mohammed Foughali
2023-06-23 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Compositional Verification of Embedded Real-Time Systems
Mohammed Foughali
2023-06-23 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL
James Ortiz
2023-05-12 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Lison Blondeau-Patissier
2023-09-07 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL
James Ortiz
2023-05-12 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Compositional Verification of Embedded Real-Time Systems
Mohammed Foughali
2023-06-23 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse