Buscas alternativas:
parallel violation » parallel simulations (Expandir a busca), parallel operation (Expandir a busca), parallel application (Expandir a busca)
violation logic » simulation logic (Expandir a busca)
Mostrando 1 - 2 resultados de 2 para a busca 'parallel violation logic programming', tempo de busca: 0,16s

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