[IEEE 2010 IEEE International Conference on Industrial Technology - Vi a del Mar , Chile (2010.03.14-2010.03.17)] 2010 IEEE International Conference on Industrial Technology - Standard-based formal validation of Programmable Logic Controller programs
de Vasconcelos Oliveira, Kezia, Perkusich, Angelo, Lima, Antonio Marcus Nogueira, Gorgonio, Kyller, da Silva, Leandro DiasYear:
2010
Language:
english
DOI:
10.1109/icit.2010.5472509
File:
PDF, 305 KB
english, 2010