Buscas alternativas:
checking programming » teaching programming (Expandir a busca), learning programming (Expandir a busca), planning programming (Expandir a busca)
parallelism index » parallelism and (Expandir a busca), parallelism in (Expandir a busca), parallelism on (Expandir a busca)
index checking » model checking (Expandir a busca), index tracking (Expandir a busca), code checking (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca 'parallelism index checking programming', tempo de busca: 0,13s

1

Assuntos: “...Model checking...”

Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos

Publicado em 2013
Acessar documento
Dissertação