Início
Painéis de Indicadores
Ferramentas
Carrot2
Visão
Equipe
Sobre
Contato
Inglês
Inglês
Português
Verificador de modelos semanticamente correto
Documento
Visão geral
Pesquisas
Identidade
Ver todos
Visão geral
orientado por
Adalberto Cajueiro de Farias
tipo
master thesis
data de publicação
2016-01-01
Pesquisas
áreas de investigação
Engenharia de Software
Métodos Formais
palavras-chave
Circus
K-framework
Semantica Operacional
Identidade
identificador BrCris
98e87a40670ea4f06e25b006b934c042