Buscas alternativas:
stochastic computation » stochastic simulation (Expandir a busca), stochastic permutation (Expandir a busca), stochastic computing (Expandir a busca)
computation program » computational program (Expandir a busca), compensation program (Expandir a busca), companion program (Expandir a busca)
stochastic computation » stochastic simulation (Expandir a busca), stochastic permutation (Expandir a busca), stochastic computing (Expandir a busca)
computation program » computational program (Expandir a busca), compensation program (Expandir a busca), companion program (Expandir a busca)
1
“... for models described in Stochastic Automata Networks and properties written in Computation Tree Logic...”
Abordagens paralelas para Model Checking de redes de autômatos estocásticos
Dissertação