Contribuições para Melhoria do Processo de Verificação Formal de Propriedades em Programas AADL
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
-
AADL
-
Linguagem AADL
-
Metodologia de Concepção
-
Modelagem
-
Propriedades de Verificação
-
Sistemas Críticos
-
Verificação
-
Verificação de Modelos
Identidade
identificador BrCris
-
1194a758a5da7865ef3dca53b2627dde
identificador Capes
-
20111541001010065P4-Publication