Buscas alternativas:
parallel monitor » parameter monitor (Expandir a busca), parallel manipulator (Expandir a busca), parallel factor (Expandir a busca)
monitor logic » monitor biologico (Expandir a busca)
parallel monitor » parameter monitor (Expandir a busca), parallel manipulator (Expandir a busca), parallel factor (Expandir a busca)
monitor logic » monitor biologico (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