Buscas alternativas:
formal programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), logical programming (Expandir a busca)
parallel task » parallel state (Expandir a busca), parallel disks (Expandir a busca), parallel and (Expandir a busca)
task formal » based formal (Expandir a busca), basic formal (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca 'parallel task formal programming', tempo de busca: 0,15s

1

Assuntos: “...Formal methods...”

Contratos formais para derivação e verificação de componentes paralelos

Publicado em 2012
Acessar documento
Dissertação