Jianghua Lv, Shilong Ma, Xianjun Li, Jiangong Song. A high order collaboration and real time formal model for automatic testing of safety critical systems. Frontiers of Computer Science in China, 9(4):495-510, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.