Verificação de Modelos Aplicada ao Projeto de Sistemas Industriais Automatizados por Controladores Lógicos Programáveis
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Automação
-
Confiabilidade
-
Controladores Lógicos Programáveis-CLP
-
Diagrama de Blocos Funcionais
-
Diagrama de Blocos Funcionais - DBF
-
Sistemas Industriais Automatizados
Identidade
identificador BrCris
-
d886a19c063801ca73ece334db62c92f
identificador Capes
-
2006531007015004P1-Publication