Reo2nuXmv
Programas
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
descrição
-
Conversão de modelos Reo para a linguagem SMV
creator
Pesquisas
áreas de investigação
palavras-chave
-
Lógica, Reo, Verificação de modelos
Identidade
identificador BrCris
-
2220a3a33e37fb726009000eb6a88f14