Informace o publikaci
ProbDiVinE 2.0
Autoři | |
---|---|
Rok publikování | 2010 |
Druh | Software |
Fakulta / Pracoviště MU | |
Popis | Nástroj pro distribuovanou kvantitativní verifikaci vlastností lineárního času pravděpodobnostních modelů. |
Související projekty: |