Recherche
In the first half of the talk, I will talk about the EXPSPACE lower bound for PTA reachability developed during my phd thesis. Parametric timed
Tariq Benmansour soutiendra sa thèse intitulée : « Contrôle et surveillance par les réseaux de capteurs corporels sans fils (WBANs) »