Parameter Synthesis in Continuous-Time Stochastic Systems /
Markovove reťazce spojitého času (eng. continuous-time Markov chains, CTMC) sú atraktívny formalizmus na špecifikáciu a verifikáciu stochastických systémov, kde sa diskrétne udalosti odohrávajú v spojitom čase. Trieda CTMC je vhodná na testovanie výkonnosti týchto systémov pretože má Markovovu vlast...
Uloženo v:
Hlavní autor: | |
---|---|
Další autoři: | |
Typ dokumentu: | VŠ práce nebo rukopis |
Jazyk: | Angličtina |
Vydáno: |
2018
|
Témata: | |
On-line přístup: | http://is.muni.cz/th/zaes9/ |
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis | Stav | Knihovna | Sbírka | Signatura | Poznámky | Čárový kód |
---|---|---|---|---|---|---|
Dostupné Týdenní |
Fakulta informatiky | Diz. práce 2017 | 42005D2689 |