Buscas alternativas:
checking programming » teaching programming (Expandir a busca), learning programming (Expandir a busca), planning programming (Expandir a busca)
parallel when » parallel ocean (Expandir a busca), parallel three (Expandir a busca), parallel mean (Expandir a busca)
when checking » when choosing (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca 'parallel when checking programming~', tempo de busca: 0,90s

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