by XING JIANSHENG
Year of Publication 12.11.2019

by XING JIANSHENG
Year of Publication 08.11.2019

by XING JIANSHENG
Year of Publication 11.10.2019

by XING JIANSHENG
Year of Publication 14.05.2019

by XING JIANSHENG
Year of Publication 28.09.2018

by ZHONG HUIDONG, CHEN CE, HUANG CHANGYU, XING JIANSHENG
Year of Publication 19.03.2024

by SUN XIAOBO, XING JIANSHENG
Year of Publication 09.03.2018

by Xing, Jiansheng, Theelen, Bart D., Langerak, Rom, van de Pol, Jaco, Tretmans, Jan, Voeten, J. P. M.
Published in Leveraging Applications of Formal Methods, Verification, and Validation

by JI BIN, XING JIANSHENG
Year of Publication 09.04.2021

by HUANG YAN, JIANG WEI, ZHANG XIANLONG, XING JIANSHENG, WEI CHENHONG
Year of Publication 22.11.2022

by XING JIANSHENG
Year of Publication 05.02.2014

by XING JIANSHENG
Year of Publication 15.01.2014

by SONG GUOFANG, YANG GUANG, JIA XIANLU, WANG FEI, XING JIANSHENG
Year of Publication 03.06.2022

by LYU YINLONG, ZHANG TIANJUE, YIN MENG, GUAN FENGPING, XING JIANSHENG
Year of Publication 18.02.2022

by BIAN TIANJIAN, JI BIN, GUAN FENGPING, WANG YAQING, WEI JUNYI, XING JIANSHENG, ZHANG TINGFENG
Year of Publication 24.10.2023

by SONG GUOFANG, LING LI, ZHAO LIJIE, XING JIANSHENG, JI LUYU
Year of Publication 03.10.2023

by JI BIN, GUAN FENGPING, HUANG PENG, WANG YAQING, WEI JUNYI, ZHANG TINGFENG, XING JIANSHENG, JI LUYU
Year of Publication 02.08.2024

by SONG GUOFANG, LING LI, ZHAO LIJIE, XING JIANSHENG, JI LUYU
Year of Publication 15.08.2023

by ZHONG HUIDONG, CHEN CE, XING JIANSHENG
Year of Publication 09.11.2021

by SONG GUOFANG, LING LI, ZHAO LIJIE, XING JIANSHENG, JI LUYU
Year of Publication 23.06.2023