Uma abordagem de engenharia reversa para extração do projeto de sistemas de software crítico embarcado
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
-
Engenharia Reversa de Software
-
Engenharia reversa de software
-
Ontologia
-
Vericacao formal de modelos
-
Vericacao formal de sofware
-
Vericação Formal de Sofware
-
Verificação formal de modelos
Identidade
identificador BrCris
-
8563779b6457c79f39bd9e860bfda763
identificador Capes
identificador Oasisbr
-
ITA_052335e5f139450925183e9d3fd09fc4