[IEEE 2010 IEEE International Symposium on Industrial Electronics (ISIE 2010) - Bari, Italy (2010.07.4-2010.07.7)] 2010 IEEE International Symposium on Industrial Electronics - Automatic timed automata extraction from ladder programs for model-based analysis of control systems
de Vasconcelos Oliveira, Kezia, da Silva, Leandro Dias, Perkusich, Angelo, Lima, Antonio Marcus Nogueira, Gorgonio, KyllerYear:
2010
Language:
english
DOI:
10.1109/isie.2010.5637890
File:
PDF, 308 KB
english, 2010