- Tytuł:
- Modeling and analysis of probabilistic real-time systems through integrating event-b and probabilistic model checking
- Autorzy:
- Debbi, Hichem
- Data publikacji:
- 2022
- Wydawca:
- Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
- Tematy:
-
event-B
probabilistic event-B
real-time probabilistic model checking
PTA
PRISM - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł