Elementos para a construção de uma cadeia de verificação para o projeto TopCased
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
-
Engenharia de Software
-
Engenharia de sistemas
-
Model Checking
-
Sistemas de Transição Temporizados
-
Sistemas discretos
-
Verificação
-
Verificação formal de sistemas
Identidade
identificador BrCris
-
6f12c58c69f73784ae33fcfed97c67ef
identificador Capes
-
2008541001010065P4-Publication
identificador Oasisbr
-
UFSC_a900b4e2edb60167dbccb199e38e1c8f