Indicadores
Sobre
● Palavra-chave
B Method
Relacionadas
formal methods
PLC
safety critical systems
programmable logic controllers
Ranking no sistema
42775ª de 130k palavras-chave
Professores
1
que já usaram o termo
Usos
2
menções no Lattes
Publicações
2
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
Haniel Moreira Barbosa
Instituto de Ciências Exatas · Ciência da Computação
2
usos
Menções por ano
2011–2012
Artigos Publicados
Trabalho em Eventos
Textos em Jornais ou Revistas
Demais Tipos de Produção
Artigos Aceitos para Publicação
1
1
'11
'12
Distribuição por unidade
1 unidades
Instituto de Ciências Exatas
2
Palavras-chave relacionadas
coocorrência
01
formal methods
2
02
PLC
1
03
safety critical systems
1
04
programmable logic controllers
1