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. https://doi.org/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 H. Mouratidis (Ed.), Software Engineering for Secure Systems: Industrial and Research Perspectives (pp. 305-328). IGI Global. https://doi.org/10.4018/978-1-61520-837-1.ch012
Chicago
Oliveira, Kézia, et al. "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. https://doi.org/10.4018/978-1-61520-837-1.ch012
Export Reference