Buscas alternativas:
concurrent linear » concurrent law (Expandir a busca), concurrent visual (Expandir a busca), corrente linear (Expandir a busca)
concurrent linear » concurrent law (Expandir a busca), concurrent visual (Expandir a busca), corrente linear (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