ANÁLISE FORMAL DE MODELOS DE SOFTWARE ORIENTADA POR ABSTRAÇÕES ARQUITETURAIS
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Arquitetura de Software
-
Modelagem de Software
-
Métodos Formais
-
Validação Formal de Software
Identidade
identificador BrCris
-
8371c70701c4cdbd89df57dc792b51a4
identificador Capes
-
20042031005012004P9-Publication
identificador Oasisbr
-
PUC_RIO-1_bff323e9ac6bab49e1b0b1c538e4f999