Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata

Laure Petrucci

2022-11-25 12:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse