Especificação e verificação sistemática, formal e modular de sistemas embarcados.
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
-
Arquitetura de Software
-
Componentes
-
Desenvolvimento Baseado em Componentes
-
Engenharia de Software
-
Linhas de Produto
-
Métodos Formais
-
Redes de Petri
-
Redes de Petri Coloridas
-
Reúso
-
Sistemas Embarcados
-
Verificação de Software
Identidade
identificador BrCris
-
41a0250b4f6bae790148f1ee323224a8
identificador Oasisbr
-
UFCG_41f329969d5ff812348d412531f90153