Információs rendszerek szoftveres szimulációja
Fájlok
Dátum
2010-05-11T08:14:38Z
Szerzők
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
A dolgozat témája a valószínűségi modellellenőrzés, és egy erre használatos eszköz, a PRISM szoftver bemutatása.
Leírás
Kulcsszavak
PRISM, sztochasztikus, modellellenőrzés, modellezés