Buscas alternativas:
parallel checking » parallel blocking (Expandir a busca), parallel reading (Expandir a busca), parallel teaching (Expandir a busca)
time programming » games programming (Expandir a busca), cone programming (Expandir a busca), to programming (Expandir a busca)
checking time » checking the (Expandir a busca), cooking time (Expandir a busca), checking in (Expandir a busca)
Mostrando 1 - 4 resultados de 4 para a busca 'parallel checking time programming', tempo de busca: 0,15s

1

Assuntos: “...Model checking...”

Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos

Publicado em 2013
Acessar documento
Dissertação

2

Assuntos: “...Linear Time Logic - LTL...”

Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.

Publicado em 2007
Acessar documento
Dissertação

3

Assuntos: “...Linear Time Logic - LTL...”

Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.

Publicado em 2007
Acessar documento
Dissertação

4

Um metodo de testes para componentes tolerantes a falhas

Publicado em 2005
Acessar documento
Dissertação