Buscas alternativas:
discussion logic » discussive logic (Expandir a busca), discursive logic (Expandir a busca), discussion on (Expandir a busca)
discussion logic » discussive logic (Expandir a busca), discursive logic (Expandir a busca), discussion on (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