Reo2nuXmv Programas

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Ver todos
•  

Visão geral

descrição

• Conversão de modelos Reo para a linguagem SMV

creator

• Bruno Lopes Vieira 

Pesquisas

áreas de investigação

• Lógicas e Semântica de Programas

palavras-chave

• Lógica, Reo, Verificação de modelos

Identidade

identificador BrCris

• 2220a3a33e37fb726009000eb6a88f14