Formal Approach Based on Petri Nets for Modeling and Verification of Video Games
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Informação adicional documento
-
- Outro
-
- Ver todos
-
Visão geral
tipo
data de publicação
publicada em
Pesquisas
áreas de investigação
palavras-chave
-
CPN Tools
-
Colored Petri Net
-
Video Game
-
Workflow net
Identidade
identificador BrCris
-
5a3ebc4f707d7c8b25cfbacded0155cf
Outro