Modelagem e Verificação de Programas de CLP Escritos em Diagrama Ladder
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
-
Controlador Logico Programavel
-
Diagrama Ladder
-
Modelagem
-
Verificação
-
controlador lógico programável
-
sistemas a eventos discretos
-
verificação formal
Identidade
identificador BrCris
-
c26334a519d356beb9991cb99fe85d3d
identificador Capes
-
20101941001010065P4-Publication