Buscas alternativas:
parallel logicas » parallel legs (Expandir a busca), parallel loops (Expandir a busca), parallel topological (Expandir a busca)
java programming » math programming (Expandir a busca), fetal programming (Expandir a busca), goal programming (Expandir a busca)
logicas java » logicas nao (Expandir a busca), logicas and (Expandir a busca)
parallel logicas » parallel legs (Expandir a busca), parallel loops (Expandir a busca), parallel topological (Expandir a busca)
java programming » math programming (Expandir a busca), fetal programming (Expandir a busca), goal programming (Expandir a busca)
logicas java » logicas nao (Expandir a busca), logicas and (Expandir a busca)
1
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
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