Buscas alternativas:
parallel proof » parallel prolog (Expandir a busca), parallel robot (Expandir a busca), parallel loop (Expandir a busca)
logic » logica (Expandir a busca)
Mostrando 1 - 2 resultados de 2 para a busca 'parallel proof logic programming~', tempo de busca: 1,41s

1

Assuntos: “...Lógica linear temporal...”

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

Assuntos: “...Lógica linear temporal...”

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

Publicado em 2007
Acessar documento
Dissertação