Ya Wang, Rui Wang, Yong Guan, Xiaojuan Li, Hongxing Wei, Jie Zhang. Formal Modeling and Verification of the Safety Critical Fire-Fighting Control System. In Sheikh Iqbal Ahamed, Carl K. Chang, Williamc C. Chu, Ivica Crnkovic, Pao-Ann Hsiung, Gang Huang 0001, Jingwei Yang, editors, 39th Annual Computer Software and Applications Conference, COMPSAC Workshops 2015, Taichung, Taiwan, July 1-5, 2015 . pages 536-541, IEEE, 2015. [doi]
Abstract is missing.