Buscas alternativas:
logic » logica (Expandir a busca)
Exportação concluída — 
Mostrando 1 - 1 resultados de 1 para a busca '"Linear Time Logic - LTL"', tempo de busca: 0,08s

1

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