Início
Painéis de Indicadores
Ferramentas
Carrot2
Visão
Equipe
Sobre
Contato
Inglês
Inglês
Português
Estendendo CASL para Especificar Sistemas Contínuos
Documento
Visão geral
Pesquisas
Identidade
Ver todos
Visão geral
membro de
https://brcris.ibict.br/individual/comm_ee459614-d3fc-461b-b7eb-f628e356a377
orientado por
Regivan Hugo Nunes Santiago
tipo
master thesis
autores
Katiane Ribeiro Lopes
data de publicação
2004-01-01
Pesquisas
áreas de investigação
Especificação Formal
palavras-chave
Equações Intervalares Locais - Teoria
Especificação Formal
Identidade
identificador BrCris
713d29fb99197f133f1ce6cf0151be14