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: 07 nov. 2024. , 2008APA
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.01786NLM
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 nov. 07 ] Available from: https://doi.org/10.3182/20080706-5-KR-1001.01786Vancouver
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 nov. 07 ] Available from: https://doi.org/10.3182/20080706-5-KR-1001.01786
