Modelagem de programas e sua verificação para controladores programáveis.
Os sistemas produtivos (SPs) podem utilizar controladores programáveis (CPs) como dispositivos de realização do controle. Neste contexto, programas de controle executados por estes CPs podem ser desenvolvidos de forma que não estejam em conformidade com as especificações de projeto, o que poderá...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Universidade de São Paulo
2008
|
| Subjects: | |
| Online Access: | http://www.teses.usp.br/teses/disponiveis/3/3152/tde-02042008-120021/ |