Informace o publikaci

ProbDiVinE 2.0

Logo poskytovatele
Autoři

APPL Jiří BARNAT Jiří BRIM Luboš ČERNÁ Ivana ČEŠKA Milan TŮMOVÁ Jana

Rok publikování 2010
Druh Software
Fakulta / Pracoviště MU

Fakulta informatiky

Popis Nástroj pro distribuovanou kvantitativní verifikaci vlastností lineárního času pravděpodobnostních modelů.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info