Lógica Modal Aplicada à Verificação de Sistemas a Eventos Discretos.
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
-
Demonstração Automática de Teoremas
-
Lógica Matemática Não-Clássica
-
Lógica Modal
-
Sistema a eventos discretos
-
Sistemas Dinâmicos
-
Sistemas a Eventos Discretos
-
Sistemas dinâmicos
-
Tableau
-
lógica modal
Identidade
identificador BrCris
-
e4e4a291fbdadbce94a5ec6a3b77ad6d
identificador Capes
-
20042220333003017021P3-Publication
identificador Oasisbr
-
UNICAMP-30_957e24f2d55c658427c698db8bd01a5a