Buscas alternativas:
parallel lines » parallel lives (Expandir a busca), parallel linear (Expandir a busca), parallel link (Expandir a busca)
java programs » and programs (Expandir a busca), care programs (Expandir a busca), java programming (Expandir a busca)
lines java » lived java (Expandir a busca)
parallel lines » parallel lives (Expandir a busca), parallel linear (Expandir a busca), parallel link (Expandir a busca)
java programs » and programs (Expandir a busca), care programs (Expandir a busca), java programming (Expandir a busca)
lines java » lived java (Expandir a busca)
1
Assuntos:
“...Concurrent programs...”
Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela
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.
Dissertação
3
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação