Buscas alternativas:
automatic programming » automatic diagramming (Expandir a busca), automatic programmed (Expandir a busca), quadratic programming (Expandir a busca)
proof automatic » prova automatica (Expandir a busca), of automatic (Expandir a busca), improve automatic (Expandir a busca)
parallel proof » parallel prolog (Expandir a busca), parallel robot (Expandir a busca), parallel loop (Expandir a busca)
Mostrando 1 - 2 resultados de 2 para a busca 'parallel proof automatic programming', tempo de busca: 0,16s

1

Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.

Publicado em 2007
Acessar documento
Dissertação

2

Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.

Publicado em 2007
Acessar documento
Dissertação