Buscas alternativas:
checking programming » teaching programming (Expandir a busca), learning programming (Expandir a busca), planning programming (Expandir a busca)
parallelism model » parallel model (Expandir a busca), parallelism index (Expandir a busca), parallelism of (Expandir a busca)
Mostrando 1 - 2 resultados de 2 para a busca 'parallelism model checking programming', tempo de busca: 0,14s

1

Assuntos: “...Bounded model checking...”

Verificação de programas multi-tarefas baseado no framework multiplataforma QT

Publicado em 2019
Acessar documento
Dissertação

2

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