MLA
Prokhorova, Yuliya, et al. "Development of Safety-Critical Control Systems in Event-B Using FMEA ." Dependability and Computer Engineering: Concepts for Software-Intensive Systems, edited by Luigia Petre, et al., IGI Global, 2012, pp. 75-91. https://doi.org/10.4018/978-1-60960-747-0.ch005
APA
Prokhorova, Y., Troubitsyna, E., Laibinis, L., & Kharchenko, V. S. (2012). Development of Safety-Critical Control Systems in Event-B Using FMEA . In L. Petre, K. Sere, & E. Troubitsyna (Eds.), Dependability and Computer Engineering: Concepts for Software-Intensive Systems (pp. 75-91). IGI Global. https://doi.org/10.4018/978-1-60960-747-0.ch005
Chicago
Prokhorova, Yuliya, et al. "Development of Safety-Critical Control Systems in Event-B Using FMEA ." In Dependability and Computer Engineering: Concepts for Software-Intensive Systems, edited by Luigia Petre, Kaisa Sere, and Elena Troubitsyna, 75-91. Hershey, PA: IGI Global, 2012. https://doi.org/10.4018/978-1-60960-747-0.ch005
Export Reference