Buscas alternativas:
parallel target » parallel career (Expandir a busca), parallel three (Expandir a busca), parallel nearest (Expandir a busca)
target logic » market logic (Expandir a busca), charge logic (Expandir a busca), target selic (Expandir a busca)
parallel target » parallel career (Expandir a busca), parallel three (Expandir a busca), parallel nearest (Expandir a busca)
target logic » market logic (Expandir a busca), charge logic (Expandir a busca), target selic (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