MLA
Oliveira, Kézia,et al. "Automatic Timed Automata Extraction from Ladder Programs for Model-Based Analysis of Control Systems." Software Engineering for Secure Systems: Industrial and Research Perspectives, edited by H. Mouratidis, IGI Global, 2011, pp. 305-328. http://doi:10.4018/978-1-61520-837-1.ch012
APA
Oliveira, K., Gorgônio, K., Perkusich, A., Lima, A., & Dias da Silva, L. (2011). Automatic Timed Automata Extraction from Ladder Programs for Model-Based Analysis of Control Systems. In Mouratidis, H. (Ed.), Software Engineering for Secure Systems: Industrial and Research Perspectives (pp. 305-328). IGI Global. http://doi:10.4018/978-1-61520-837-1.ch012
Chicago
Oliveira, Kézia and Kyller Gorgônio, Angelo Perkusich, Antônio Lima, and Leandro Dias da Silva. "Automatic Timed Automata Extraction from Ladder Programs for Model-Based Analysis of Control Systems." In Software Engineering for Secure Systems: Industrial and Research Perspectives. edited by H. Mouratidis, 305-328. Hershey, PA: IGI Global, 2011. http://doi:10.4018/978-1-61520-837-1.ch012
Export Reference
