An Alternative (Multi-timed) Semantics for Modelling the Behaviour of Distributed Timed Systems

James Ortiz

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