- Tytuł:
- A GPGPU–based simulator for prism: statistical verification of results of PMC
- Autorzy:
-
Copik, M.
Rataj, A.
Woźna-Szcześniak, B. - Tematy:
-
GPGPU
symulacja Monte Carlo
pryzmat
probabilistyczny model statystyczny
Monte Carlo simulation
prism
probabilistic model checking
statistical model checking
probabilistic logics - Pokaż więcej
- Data publikacji:
- 2017
- Wydawca:
- Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
- Dostawca treści:
- Biblioteka Nauki
Artykuł