A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B

Daniel Osorio

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