Modelagem de sistemas com restrições temporais em redes de petri orientadas a objetos.
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
-
Análise de performance
-
Restrições Temporais
-
especificação formal
-
modelagem de sistemas
-
métodos formais
-
redes de petri
-
rpoo
-
rpoot
-
timed petri nets
Identidade
identificador BrCris
-
202decdfcb7f6aa59bf7c16d7afc8166
identificador Oasisbr
-
UFCG_5b399dc96c9bd1ee6682a894537ae01c