Taolue Chen
发表
Xiaoxing Ma,
Yue-Huan Wang,
Zenan Li,
2020,
J. Comput. Sci. Technol..
Taolue Chen,
Mingji Xia,
Xie Li,
2020,
SETTA.
Yu Zhou,
Taolue Chen,
Yanxiang Tong,
2017,
Int. J. Softw. Eng. Knowl. Eng..
Taolue Chen,
Marta Z. Kwiatkowska,
David Parker,
2012,
Formal Methods in System Design.
Taolue Chen,
Zhiming Liu,
Jim Woodcock,
2020,
Formal Aspects of Computing.
Taolue Chen,
Satnam Dlay,
Jonathon Chambers,
2020,
ArXiv.
Philipp Rümmer,
Taolue Chen,
Anthony Widjaja Lin,
2020,
ATVA.
Yu Zhou,
Taolue Chen,
Shiqi Zhou,
2020,
IET Softw..
Taolue Chen,
Raid Rafi Omar Al-Nima,
Tingting Han,
2019,
CORES.
Taolue Chen,
Fu Song,
Pengfei Gao,
2020,
ACM Trans. Softw. Eng. Methodol..
Xiaoxing Ma,
Taolue Chen,
Yu Zhou,
2020,
ArXiv.
Jun Zhang,
Taolue Chen,
Fu Song,
2020,
IEEE Transactions on Software Engineering.
Taolue Chen,
Raid Rafi Omar Al-Nima,
Saadoon A. M. Al-Sumaidaee,
2018,
IET Biom..
Taolue Chen,
Zhiqiu Huang,
Wenhua Yang,
2019,
J. Syst. Softw..
Ping Wang,
Taolue Chen,
Zhilin Wu,
2019,
APLAS.
Taolue Chen,
Zhiming Liu,
Hengjun Zhao,
2020,
HSCC.