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