Buscas alternativas:
parallel logicos » parallel legs (Expandir a busca), parallel loops (Expandir a busca), parallel lines (Expandir a busca)
java programming » math programming (Expandir a busca), fetal programming (Expandir a busca), goal programming (Expandir a busca)
logicos java » legados java (Expandir a busca)
parallel logicos » parallel legs (Expandir a busca), parallel loops (Expandir a busca), parallel lines (Expandir a busca)
java programming » math programming (Expandir a busca), fetal programming (Expandir a busca), goal programming (Expandir a busca)
logicos java » legados java (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