Debbi, H. (2022). Modeling and Analysis of Probabilistic Real-time Systems through Integrating Event-B and Probabilistic Model Checking.
Computer Science
,
23
(4).
https://doi.org/10.7494/csci.2022.23.4.4588