Bérczes, TamásSzabó, Ferenc2010-05-112010-05-1120102010-05-11http://hdl.handle.net/2437/96137A 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.39huPRISMsztochasztikusmodellellenőrzésmodellezésDEENK Témalista::Informatika::Informatikai rendszerekDEENK Témalista::Informatika::Informatikai hálózatokno_restriction