Indicadores
Sobre
● Palavra-chave
Algoritmos Simbolicos
Relacionadas
Verificação Formal
Sistemas de tempo real
Analise de Sistemas
Bioinformática
Eletrofisiologia
Symbolic Model Checking
Ranking no sistema
13789ª de 130k palavras-chave
Professores
1
que já usaram o termo
Usos
8
menções no Lattes
Publicações
8
marcadas com o termo
Unidades
1
com produção na área
Departamentos
1
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
8
usos
Menções por ano
1995–2012
Artigos Publicados
Trabalho em Eventos
Textos em Jornais ou Revistas
Demais Tipos de Produção
Artigos Aceitos para Publicação
3
1
1
1
2
'95
'96
'97
'99
'12
Distribuição por unidade
1 unidades
Instituto de Ciências Exatas
8
Palavras-chave relacionadas
coocorrência
01
Verificação Formal
6
02
Sistemas de tempo real
5
03
Analise de Sistemas
3
04
Bioinformática
2
05
Eletrofisiologia
2
06
Symbolic Model Checking
2
07
Systemas de Tempo Real
2