Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Hatefi Ardakani, Hassan"'
Autor:
Hatefi Ardakani, Hassan
Markov automata constitute an expressive continuous-time compositional modelling formalism, featuring stochastic timing and nondeterministic as well as probabilistic branching, all supported in one model. They span as special cases, the models of dis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1898428332eb1566770221e67c3e88d7
https://hdl.handle.net/11858/00-001M-0000-002C-9E81-C
https://hdl.handle.net/11858/00-001M-0000-002C-9E81-C
