Buscas alternativas:
symbollic execution » symbolic education (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca '"Symbollic execution"', tempo de busca: 0,06s

1

Assuntos: “...Symbollic execution...”

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

Publicado em 2013
Acessar documento
Dissertação