Modeling of programs and its verification for programmable logic controllers (2008)
Source: IFAC proceedings volumes. Conference titles: IFAC World Congress. Unidade: EP
Subjects: CONTROLADORES PROGRAMÁVEIS, FALHA (DIAGNÓSTICO), SISTEMAS DE CONTROLE
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: 19 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. 19 ] 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. 19 ] Available from: https://doi.org/10.3182/20080706-5-KR-1001.01786