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: 14 nov. 2025.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.6389446NLM
Sarmento CA, Santos Filho DJ dos, Miyagi PE. Extending the verification coverage for PLC control programs: a functional safety approach [Internet]. Proceedings. 2012 ;[citado 2025 nov. 14 ] Available from: https://doi.org/10.1109/IECON.2012.6389446Vancouver
Sarmento CA, Santos Filho DJ dos, Miyagi PE. Extending the verification coverage for PLC control programs: a functional safety approach [Internet]. Proceedings. 2012 ;[citado 2025 nov. 14 ] Available from: https://doi.org/10.1109/IECON.2012.6389446
