Buscas alternativas:
linear detectadas » linfoma detectadas (Expandir a busca)
parallel linear » parallel lines (Expandir a busca), parallel layer (Expandir a busca), parallel fiber (Expandir a busca)
linear detectadas » linfoma detectadas (Expandir a busca)
parallel linear » parallel lines (Expandir a busca), parallel layer (Expandir a busca), parallel fiber (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