Mostrando 1 - 15 resultados de 15 para a busca 'parallel models distributed computation', tempo de busca: 0,20s

2

8

... e propriedades descritas na lógica temporal Computation Tree Logic para ambientes que endereçam espaços...

Abordagens paralelas para Model Checking de redes de autômatos estocásticos

Publicado em 2013
Dissertação

10

... is theoretically investigated. A comparison between models available in the literature for describing these...

Optoelectronics in two-dimensional materials

Publicado em 2020
Tese