Formal Modeling and Verification of the Safety Critical Fire-Fighting Control System.

Ya Wang, Rui Wang, Yong Guan, Xiaojuan Li, Hongxing Wei, Jie Zhang

Browse the full COMPSAC paper archive.