Extending the verification coverage for PLC control programs: a functional safety approach (2009)
- Authors:
- USP affiliated authors: SANTOS FILHO, DIOLINO JOSE DOS - EP ; MIYAGI, PAULO EIGI - EP
- Unidade: EP
- Assunto: CONTROLADORES PROGRAMÁVEIS
- Language: Inglês
- Imprenta:
- Conference titles: Annual Conference of the IEEE Industrial Electronics Society
-
ABNT
SARMENTO, Cleber Alves e SANTOS FILHO, Diolino Jose dos e MIYAGI, Paulo Eigi. Extending the verification coverage for PLC control programs: a functional safety approach. 2009, Anais.. Porto: IEEE, 2009. Disponível em: https://repositorio.usp.br/directbitstream/9c7ef213-93cb-4860-b765-5406a8dd73d4/Miyagi-2009-extending%20the%20verification%20coverage%20for%20PLC%20control%20programs.pdf. Acesso em: 15 abr. 2026. -
APA
Sarmento, C. A., Santos Filho, D. J. dos, & Miyagi, P. E. (2009). Extending the verification coverage for PLC control programs: a functional safety approach. In . Porto: IEEE. Recuperado de https://repositorio.usp.br/directbitstream/9c7ef213-93cb-4860-b765-5406a8dd73d4/Miyagi-2009-extending%20the%20verification%20coverage%20for%20PLC%20control%20programs.pdf -
NLM
Sarmento CA, Santos Filho DJ dos, Miyagi PE. Extending the verification coverage for PLC control programs: a functional safety approach [Internet]. 2009 ;[citado 2026 abr. 15 ] Available from: https://repositorio.usp.br/directbitstream/9c7ef213-93cb-4860-b765-5406a8dd73d4/Miyagi-2009-extending%20the%20verification%20coverage%20for%20PLC%20control%20programs.pdf -
Vancouver
Sarmento CA, Santos Filho DJ dos, Miyagi PE. Extending the verification coverage for PLC control programs: a functional safety approach [Internet]. 2009 ;[citado 2026 abr. 15 ] Available from: https://repositorio.usp.br/directbitstream/9c7ef213-93cb-4860-b765-5406a8dd73d4/Miyagi-2009-extending%20the%20verification%20coverage%20for%20PLC%20control%20programs.pdf - Ferramenta para projeto e analise de sistemas integrados de manufatura
- Enhanced mark flow graph to control flexible manufacturing systems
- Realização do controle de tarefas de veiculos autônomos de transporte através do mfg estendido com marcas individuais (cd-rom)
- Sistemas de eventos discretos e seu controle
- Ferramenta para projeto e análise de sistemas integrados de manufatura
- Sistemas de eventos discretos e seu controle
- Automação de um sistema de rampa para embarque e desembarque de veículos de navios/Automation of a ramp system for ship loading and unloading of vehicles
- Estudo de estratégias de controle de um sistema flexível de transporte por veículos autônomos e sua otimização
- E-mfg na modelagem , analise e controle de sistemas de transporte de alta flexibilidade
- Proposta de uma ferramenta automática de programação de CPS a partir de modelos MFG/A proposal of an automatic tool for programming PCS from MFG models
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
Miyagi-2009-extending the... |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
