Buscas alternativas:
parallel points » parallel join (Expandir a busca), parallel lines (Expandir a busca), parallel robots (Expandir a busca)
points logic » point logic (Expandir a busca)
parallel points » parallel join (Expandir a busca), parallel lines (Expandir a busca), parallel robots (Expandir a busca)
points logic » point logic (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
3
“... reality techniques, and an programming environment for developing the control logic. The programming...”
Ambiente de programação e integração para manufatura virtual “APIMV”
Dissertação