Buscas alternativas:
parallel checking » parallel blocking (Expandir a busca), parallel reading (Expandir a busca), parallel teaching (Expandir a busca)
line programming » linear programming (Expandir a busca), lineal programming (Expandir a busca), plane programming (Expandir a busca)
checking line » checking in (Expandir a busca), checking the (Expandir a busca), chewing lice (Expandir a busca)
parallel checking » parallel blocking (Expandir a busca), parallel reading (Expandir a busca), parallel teaching (Expandir a busca)
line programming » linear programming (Expandir a busca), lineal programming (Expandir a busca), plane programming (Expandir a busca)
checking line » checking in (Expandir a busca), checking the (Expandir a busca), chewing lice (Expandir a busca)
1
Assuntos:
“...Parallel and structured programming...”
Hipergrafos de Dijkstra: Reconhecimento e Isomorfismo
Dissertação
2
Assuntos:
“...Model checking...”
Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos
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
4
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação