Buscas alternativas:
parallel verification » parallel application (Expandir a busca)
verification user » verification under (Expandir a busca), verification using (Expandir a busca), verification des (Expandir a busca)
user programming » linear programming (Expandir a busca), computer programming (Expandir a busca), math programming (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca 'parallel verification user programming~', tempo de busca: 1,00s

1

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

Publicado em 2013
Acessar documento
Dissertação