Modeling of programs and its verification for programmable logic controllers.

• Grant number: 08/00222-5
• Support Opportunities: Research Grants - Meeting - Abroad
• Start date: July 05, 2008
• End date: July 11, 2008
• Field of knowledge: Engineering - Mechanical Engineering - Mechanical Engineering Design
• Principal Investigator: Paulo Eigi Miyagi
• Grantee: Paulo Eigi Miyagi
• Host Institution: Escola Politécnica (EP). Universidade de São Paulo (USP). São Paulo , SP, Brazil