Modeling of programs and its verification for programmable logic controllers.

• Processo: 08/00222-5
• Modalidade de apoio: Auxílio à Pesquisa - Reunião - Exterior
• Data de Início da vigência: 05 de julho de 2008
• Data de Término da vigência: 11 de julho de 2008
• Área do conhecimento: Engenharias - Engenharia Mecânica - Projetos de Máquinas
• Pesquisador responsável: Paulo Eigi Miyagi
• Beneficiário: Paulo Eigi Miyagi
• Instituição Sede: Escola Politécnica (EP). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Controladores programáveis Sistemas de controle Sistemas a eventos discretos
• Palavra(s)-Chave do Pesquisador: Automacao De Maquinas | Controladores Programaveis | Sistemas A Eventos Discretos | controle de sistemas