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