Buscas alternativas:
parallel machado » parallel machine (Expandir a busca), parallel machines (Expandir a busca), rafael machado (Expandir a busca)
machado logic » machado ligia (Expandir a busca), machado louise (Expandir a busca), machado luis (Expandir a busca)
parallel machado » parallel machine (Expandir a busca), parallel machines (Expandir a busca), rafael machado (Expandir a busca)
machado logic » machado ligia (Expandir a busca), machado louise (Expandir a busca), machado luis (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