Contratos Formais para Derivação e Verificação de Componentes Paralelos
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Componentes de Software
-
Formal Methods
-
Métodos Formais
-
Parallel Programming
-
Programação Paralela
Identidade
identificador BrCris
-
18bb4366d7712c18e8589fde332788ce
identificador Capes
-
20121322001018031P5-Publication
identificador Oasisbr
-
UFC-7_31bbd0d5abb655290c3a954bd9b2a0a8