ReP USP - Resultado da busca

Trabalho de evento
Extending the verification coverage for PLC control programs: a functional safety approach (2012)
Sarmento, Cleber Alves; Santos Filho, Diolino Jose dos ; Miyagi, Paulo Eigi
Source: Proceedings. Conference titles: Annual Conference of the IEEE Industrial Electronics Society - IECON 2012. Unidade: EP
Subjects: CONTROLADORES PROGRAMÁVEIS, SISTEMAS AUTÔNOMOS, DESENVOLVIMENTO DE SOFTWARE (SEGURANÇA)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
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. 2012, Anais.. New York: IEEE, 2012. Disponível em: https://doi.org/10.1109/IECON.2012.6389446. Acesso em: 04 out. 2024.
APA
Sarmento, C. A., Santos Filho, D. J. dos, & Miyagi, P. E. (2012). Extending the verification coverage for PLC control programs: a functional safety approach. In Proceedings. New York: IEEE. doi:10.1109/IECON.2012.6389446
NLM
Sarmento CA, Santos Filho DJ dos, Miyagi PE. Extending the verification coverage for PLC control programs: a functional safety approach [Internet]. Proceedings. 2012 ;[citado 2024 out. 04 ] Available from: https://doi.org/10.1109/IECON.2012.6389446
Vancouver
Sarmento CA, Santos Filho DJ dos, Miyagi PE. Extending the verification coverage for PLC control programs: a functional safety approach [Internet]. Proceedings. 2012 ;[citado 2024 out. 04 ] Available from: https://doi.org/10.1109/IECON.2012.6389446
Trabalho de evento
Extending the verification coverage for PLC control programs: a functional safety approach (2009)
Sarmento, Cleber Alves; Santos Filho, Diolino Jose dos ; Miyagi, Paulo Eigi
Conference titles: Annual Conference of the IEEE Industrial Electronics Society. Unidade: EP
Assunto: CONTROLADORES PROGRAMÁVEIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
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: 04 out. 2024.
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 2024 out. 04 ] 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 2024 out. 04 ] Available from: https://repositorio.usp.br/directbitstream/9c7ef213-93cb-4860-b765-5406a8dd73d4/Miyagi-2009-extending%20the%20verification%20coverage%20for%20PLC%20control%20programs.pdf
Trabalho de evento-anais periodico
Modeling of programs and its verification for programmable logic controllers (2008)
Sarmento, Cleber Alves; Miyagi, Paulo Eigi ; Silva, José Reinaldo ; Santos Filho, Diolino Jose dos
Source: IFAC proceedings volumes. Conference titles: IFAC World Congress. Unidade: EP
Subjects: CONTROLADORES PROGRAMÁVEIS, FALHA (DIAGNÓSTICO), SISTEMAS DE CONTROLE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SARMENTO, Cleber Alves et al. Modeling of programs and its verification for programmable logic controllers. IFAC proceedings volumes. Seoul: IFAC. Disponível em: https://doi.org/10.3182/20080706-5-KR-1001.01786. Acesso em: 04 out. 2024. , 2008
APA
Sarmento, C. A., Miyagi, P. E., Silva, J. R., & Santos Filho, D. J. dos. (2008). Modeling of programs and its verification for programmable logic controllers. IFAC proceedings volumes. Seoul: IFAC. doi:10.3182/20080706-5-KR-1001.01786
NLM
Sarmento CA, Miyagi PE, Silva JR, Santos Filho DJ dos. Modeling of programs and its verification for programmable logic controllers [Internet]. IFAC proceedings volumes. 2008 ;41( 2): 10546-10551.[citado 2024 out. 04 ] Available from: https://doi.org/10.3182/20080706-5-KR-1001.01786
Vancouver
Sarmento CA, Miyagi PE, Silva JR, Santos Filho DJ dos. Modeling of programs and its verification for programmable logic controllers [Internet]. IFAC proceedings volumes. 2008 ;41( 2): 10546-10551.[citado 2024 out. 04 ] Available from: https://doi.org/10.3182/20080706-5-KR-1001.01786
Dissertação (Mestrado)
Modelagem de programas e sua verificação para controladores programáveis (2008)
Sarmento, Cleber Alves; Santos Filho, Diolino Jose dos (Orientador)
Unidade: EP
Subjects: CONTROLADORES PROGRAMÁVEIS, LINGUAGEM DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SARMENTO, Cleber Alves. Modelagem de programas e sua verificação para controladores programáveis. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-02042008-120021/. Acesso em: 04 out. 2024.
APA
Sarmento, C. A. (2008). Modelagem de programas e sua verificação para controladores programáveis (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-02042008-120021/
NLM
Sarmento CA. Modelagem de programas e sua verificação para controladores programáveis [Internet]. 2008 ;[citado 2024 out. 04 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-02042008-120021/
Vancouver
Sarmento CA. Modelagem de programas e sua verificação para controladores programáveis [Internet]. 2008 ;[citado 2024 out. 04 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-02042008-120021/

USP Schools

ReP

Filtros

Subjects