Suporte à análise e verificação de modelos RPOO.
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
-
Ferramentas
-
Modelagem
-
Orientação a Objetos
-
Redes de Petri
-
Simulação
-
Simulação de Modelos
-
engenharia de software
-
métodos formais
-
orientação a objetos
-
redes de petri
-
simulação
Identidade
identificador BrCris
-
09fe6e6f86ba0e45eb98d0bfd188ac9a
identificador Oasisbr
-
UFCG_5f2d7c65aaf2c4068b91ec135d2cb2f7