TANGRAM: Uma Ferramenta de Apoio à Verificação Formal de Sistemas de Tempo Real baseados em Componentes
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Componentes
-
Especificação de Software
-
Métodos Formais
-
Sistemas de Tempo Real
-
UML
-
UPPAAL
-
Verificação de Modelos
-
sistemas de tempo real
Identidade
identificador BrCris
-
359e702095b43a0494cbd1d83960cae1
identificador Capes
-
2009428001010045P6-Publication
identificador Oasisbr
-
UFBA-2_7d5e4c9b28bc33132bc8b9a322273437