Buscas alternativas:
parallel monitoring » particle monitoring (Expandir a busca)
monitoring logic » monitoring public (Expandir a busca), monitoring biological (Expandir a busca), monitoring of (Expandir a busca)
parallel monitoring » particle monitoring (Expandir a busca)
monitoring logic » monitoring public (Expandir a busca), monitoring biological (Expandir a busca), monitoring of (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