Buscas alternativas:
automatic programming » automatic diagramming (Expandir a busca), automatic programmed (Expandir a busca), quadratic programming (Expandir a busca)
checagem automatic » checagem automatica (Expandir a busca), contagem automatica (Expandir a busca), zeragem automatica (Expandir a busca)
parallel checagem » parallel cascade (Expandir a busca)
automatic programming » automatic diagramming (Expandir a busca), automatic programmed (Expandir a busca), quadratic programming (Expandir a busca)
checagem automatic » checagem automatica (Expandir a busca), contagem automatica (Expandir a busca), zeragem automatica (Expandir a busca)
parallel checagem » parallel cascade (Expandir a busca)
1
“... Logic - LTL) para expressar o comportamento desejado. Para dar suporte a checagem do comportamento...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
2
“... Logic - LTL) para expressar o comportamento desejado. Para dar suporte a checagem do comportamento...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação