Buscas alternativas:
parallel execution » parallel operation (Expandir a busca)
author programming » python programming (Expandir a busca), network programming (Expandir a busca), math programming (Expandir a busca)
execution author » execution actions (Expandir a busca), function author (Expandir a busca), relation author (Expandir a busca)
parallel execution » parallel operation (Expandir a busca)
author programming » python programming (Expandir a busca), network programming (Expandir a busca), math programming (Expandir a busca)
execution author » execution actions (Expandir a busca), function author (Expandir a busca), relation author (Expandir a busca)
1
Assuntos:
“...Symbollic execution...”
Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos
Dissertação