Validação visual de programas Ladder baseada em modelos.
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
-
Controladores Lógicos Programáveis
-
Métodos Formais
-
Métodos formais
-
Teste de Conformidade
-
Validação
-
Validação de modelos formais
Identidade
identificador BrCris
-
c751478dcdf5ffa5e5b077f86f77e1f3
identificador Capes
-
2011424009016005P0-Publication
identificador Oasisbr
-
UFCG_7e47d9ffa2b8b23761e8d1cb7ee0885e