Zobrazeno 1 - 10 of 161 pro vyhledávání: '"Siegle M"'
1
Akademický článek
Sportmedizin & Leistungssport
Autor: Siegle M, Geisel M, Lames M
Publikováno v: Deutsche Zeitschrift für Sportmedizin, Vol 63, Iss 9 (2012)
Externí odkaz: https://doaj.org/article/598c08fc69a4459c9fd007f0104081b9
Zobrazit plný text záznamu
3
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
6
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
7
Akademický článek
Compositional performance modelling with the TIPPtool
Autor: Hermanns, H. *, Herzog, U., Klehmet, U., Mertsiotakis, V., Siegle, M.
Publikováno v: In Performance Evaluation 2000 39(1):5-35
Zobrazit plný text záznamu
8
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
9
Modelling, Reduction and Analysis of Markov Automata
Autor: Guck, Dennis, Hatefi, Hassan, Hermanns, H., Katoen, Joost P., Timmer, Mark, Joshi, K.R., Siegle, M., Stoelinga, Mariëlle Ida Antoinette, d' Argenio, P.R.
Publikováno v: Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST), 55-71
STARTPAGE=55;ENDPAGE=71;TITLE=Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST)
Quantitative Evaluation of Systems ISBN: 9783642401954
QEST
Markov automata (MA) constitute an expressive continuous-time compositional modelling formalism. They appear as semantic backbones for engineering frameworks including dynamic fault trees, Generalised Stochastic Petri Nets, and AADL. Their expressive
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5eff0e8be13b8d072d9172edc575b4a5
https://research.utwente.nl/en/publications/540e2b66-4a5c-46ed-b2f0-a837711397b5
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje