Indicadores
Sobre
● Palavra-chave
model checking
Relacionadas
web based systems
E-commerce
Binary Decision Diagrams
Enxame de robôs
Verificação Formal
Ranking no sistema
22194ª de 130k palavras-chave
Professores
1
que já usaram o termo
Usos
5
menções no Lattes
Publicações
5
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
5
usos
Menções por ano
2004–2015
Artigos Publicados
Trabalho em Eventos
Textos em Jornais ou Revistas
Demais Tipos de Produção
Artigos Aceitos para Publicação
1
2
1
1
'04
'05
'12
'15
Distribuição por unidade
1 unidades
Instituto de Ciências Exatas
5
Palavras-chave relacionadas
coocorrência
01
web based systems
1
02
E-commerce
1
03
Binary Decision Diagrams
1
04
Enxame de robôs
1
05
Verificação Formal
1