MLA
Hsiung, Pao-Ann., et al. "Safecharts Model Checking for the Verfication of Safety-Critical Systems." Verification, Validation and Testing in Software Engineering, edited by Aristides Dasso and Ana Funes, IGI Global, 2007, pp. 427-466. https://doi.org/10.4018/978-1-59140-851-2.ch014
APA
Hsiung, P., Lin, Y., & Chen, Y. (2007). Safecharts Model Checking for the Verfication of Safety-Critical Systems. In A. Dasso & A. Funes (Eds.), Verification, Validation and Testing in Software Engineering (pp. 427-466). IGI Global. https://doi.org/10.4018/978-1-59140-851-2.ch014
Chicago
Hsiung, Pao-Ann., Yen-Hung Lin, and Yean-Ru Chen. "Safecharts Model Checking for the Verfication of Safety-Critical Systems." In Verification, Validation and Testing in Software Engineering, edited by Aristides Dasso and Ana Funes, 427-466. Hershey, PA: IGI Global, 2007. https://doi.org/10.4018/978-1-59140-851-2.ch014
Export Reference