Buscas alternativas:
checking programming » teaching programming (Expandir a busca), learning programming (Expandir a busca), planning programming (Expandir a busca)
of checking » of necking (Expandir a busca), body checking (Expandir a busca), code checking (Expandir a busca)
parallelism » paralelismo (Expandir a busca)
Mostrando 1 - 2 resultados de 2 para a busca 'parallelism of checking programming', tempo de busca: 0,12s

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