Verificação automática de programas a partir da monitoração de múltiplas execuções de código.
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
-
Sistemas Embarcados
-
Verificação de Modelos
-
Verificação de Software
Identidade
identificador BrCris
-
6bcf4e82fef3dc9816430367f0ed2d4a
identificador Capes
-
20123424009016003P8-Publication
identificador Oasisbr
-
UFCG_2daead07862eae2e03cdb822a8db8b7d