Solução Exata de Problemas de Escalonamento Determinísticos por meio de Verificação Simbólica de Modelos
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
-
Formal Verification
-
Problemas de Sequenciamento
-
Scheduling
-
Symbolic Model Checking
-
Verificacao Formal
-
Verificacao Simbolica e Modelos
Identidade
identificador BrCris
-
a8e1b6d3ae79a9eb811b36d5e9a2b52f
identificador Oasisbr
-
UFMG_57115764a81151c09b477e499ce34248