Chen Zuxi

Formal verification of railway interlocking system based on ladder logic

Zhang Shuqing, Xu Zhongwei, Yu Lizhen, 2013 .

Combining Theorem Proving and Model Checking in the Safety-Critical Software Development through Translating Event-B to SMV

Chen Zuxi, Liang Sen, Luo Xiangyu, 2017 .

EQUIVALENT LOADING METHOD FOR SOLVING BEAM-COLUMN WITH INITIAL BENDING AND ITS APPLICATION IN DRILLING ENGINEERING

Chen Zuxi, Chen Zu-xi, 2004 .

BEAM-COLUMN THEORY FOR BENT HOUSING PDM ASSEMBLIES WITH MEDIUM-SHORT RADIUS OF BUILDING CAPABILITY

Chen Zuxi, Tang Xueping, 2011 .