Buscas alternativas:
parallel off » parallel code (Expandir a busca), parallel join (Expandir a busca), parallel loop (Expandir a busca)
off logic » of logic (Expandir a busca), of logics (Expandir a busca), off logistic (Expandir a busca)
parallel off » parallel code (Expandir a busca), parallel join (Expandir a busca), parallel loop (Expandir a busca)
off logic » of logic (Expandir a busca), of logics (Expandir a busca), off logistic (Expandir a busca)
1
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