Indicadores
Sobre
● Palavra-chave
Verificação Formal
Relacionadas
Algoritmos Simbolicos
Sistemas de tempo real
Systemas de Tempo Real
Comércio Eletrônico
Analise de Sistemas
model checking
Ranking no sistema
9723ª de 130k palavras-chave
Professores
3
que já usaram o termo
Usos
11
menções no Lattes
Publicações
11
marcadas com o termo
Unidades
2
com produção na área
Departamentos
2
envolvidos
Visão geral
Professores
Publicações
Quem mais utilizou a palavra-chave
top 5
01
Sergio Vale Aguiar Campos
Instituto de Ciências Exatas · Ciência da Computação
9
usos
02
Diógenes Cecilio da Silva Junior
Escola de Engenharia · Engenharia Elétrica
1
usos
03
Wagner Meira Junior
Instituto de Ciências Exatas · Ciência da Computação
1
usos
Menções por ano
1995–2011
Artigos Publicados
Trabalho em Eventos
Textos em Jornais ou Revistas
Demais Tipos de Produção
Artigos Aceitos para Publicação
3
1
1
1
1
1
1
1
1
'95
'96
'97
'98
'99
'02
'03
'05
'11
Distribuição por unidade
2 unidades
Instituto de Ciências Exatas
10
Escola de Engenharia
1
Palavras-chave relacionadas
coocorrência
01
Algoritmos Simbolicos
6
02
Sistemas de tempo real
5
03
Systemas de Tempo Real
2
04
Comércio Eletrônico
1
05
Analise de Sistemas
1
06
model checking
1
07
Bioinformática
1
08
Symbolic Model Checking
1