Indicadores
Sobre
● Palavra-chave
formal methods
Relacionadas
B Method
PLC
safety critical systems
programmable logic controllers
controle
Controle Não Frágil
Ranking no sistema
30941ª de 130k palavras-chave
Professores
2
que já usaram o termo
Usos
3
menções no Lattes
Publicações
3
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
Haniel Moreira Barbosa
Instituto de Ciências Exatas · Ciência da Computação
2
usos
02
Reinaldo Martinez Palhares
Escola de Engenharia · Engenharia Eletrônica
1
usos
Menções por ano
2011–2017
Artigos Publicados
Trabalho em Eventos
Textos em Jornais ou Revistas
Demais Tipos de Produção
Artigos Aceitos para Publicação
1
1
1
'11
'12
'17
Distribuição por unidade
2 unidades
Instituto de Ciências Exatas
2
Escola de Engenharia
1
Palavras-chave relacionadas
coocorrência
01
B Method
2
02
PLC
1
03
safety critical systems
1
04
programmable logic controllers
1
05
controle
1
06
Controle Não Frágil
1
07
Finite word-length effects
1
08
Inteligência computacional
1