Modelagem e Análise de Requisitos de Sistemas Automatizados Usando UML e Redes de Petri
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
-
Analise de Invariantes
-
Análise de Sistemas
-
Redes de Petri
-
Sistemas complejos
-
invariantes
-
model checking
Identidade
identificador BrCris
-
6c2847b735fe69b68f50aa86d8e66b78
identificador Capes
identificador Oasisbr
-
USP_2ae1e8b848bca34f4b6bf35a1cbe1694