Shuling Wang
发表
Xueying Ding,
Shuling Wang,
Haitao Li,
2017,
2017 13th IEEE Conference on Automation Science and Engineering (CASE).
Liang Zou,
Naijun Zhan,
Shuling Wang,
2015,
ICFEM.
Yunwei Dong,
Liang Zou,
Naijun Zhan,
2014,
FACS.
Shuang Liang,
Shuling Wang,
Haitao Li,
2020,
Science China Information Sciences.
Jing Xu,
Shuling Wang,
Shoubao Yang,
2010,
2010 Ninth International Conference on Grid and Cloud Computing.
Xu Wang,
Shuling Wang,
Shuling Wang,
2012,
VERIFY@IJCAR.
Haitao Li,
Shuling Wang,
Yalu Li,
2019,
IEEE Transactions on Circuits and Systems II: Express Briefs.
Bohua Zhan,
Tao Liu,
Junyi Liu,
2019,
Arch. Formal Proofs.
Bin Du,
Yong Liu,
Xingwei Wang,
2010,
2010 First International Conference on Pervasive Computing, Signal Processing and Applications.
Martin Fränzle,
Liang Zou,
Naijun Zhan,
2015,
ATVA.
Jing Xu,
Xiaoqian Liu,
Shuling Wang,
2008,
GCC.
Tao Tang,
Lei Yuan,
Yu Liu,
2013,
VSTTE.
Qin Shu,
Zongyan Qiu,
Shuling Wang,
2013,
Frontiers of Computer Science.
Liang Zhao,
Wei Ke,
Shuling Wang,
2009,
ICFEM.
Lihua Xie,
Kai Shen,
Shuling Wang,
2008,
2008 Seventh International Conference on Grid and Cooperative Computing.
Naijun Zhan,
Shuling Wang,
Hengjun Zhao,
2016
.
Liangmin Guo,
Shuling Wang,
Shoubao Yang,
2011,
2011 Third International Conference on Communications and Mobile Computing.
Zongyan Qiu,
Shuling Wang,
2008,
2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering.
Naijun Zhan,
Shuling Wang,
Hengjun Zhao,
2017
.
Tingting Hu,
Zongyan Qiu,
Shuling Wang,
2015,
2015 International Symposium on Theoretical Aspects of Software Engineering.
Jifeng He,
Geguang Pu,
Huibiao Zhu,
2006,
FMOODS.
Liang Zhao,
Wei Ke,
Shuling Wang,
2012,
Frontiers of Computer Science.
Chunfu Shao,
Ying Hu,
Shuling Wang,
2019
.
Haitao Li,
Xueying Ding,
Shuling Wang,
2018,
J. Frankl. Inst..
José Nuno Oliveira,
Luís Soares Barbosa,
Shuling Wang,
2008,
2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering.
Flemming Nielson,
Hanne Riis Nielson,
Shuling Wang,
2014,
FORTE.
Ting Wang,
Li Zhuo,
Yan Wei,
2012
.
Lijun Zhang,
Naijun Zhan,
Shuling Wang,
2017,
Formal Aspects of Computing.
Wei Chen,
Yan Jiang,
Shuling Wang,
2008,
2008 Seventh International Conference on Grid and Cooperative Computing.
Haitao Li,
Shuling Wang,
Haitao Li,
2019,
J. Frankl. Inst..
Naijun Zhan,
Shuling Wang,
Dimitar P. Guelev,
2012,
TAMC.
Liang Zhao,
Shuling Wang,
Zhiming Liu,
2013,
Theories of Programming and Formal Methods.
Luís Soares Barbosa,
Shuling Wang,
Paula R. Ribeiro,
2008,
TTSS.
Geguang Pu,
Zongyan Qiu,
Hongli Yang,
2006,
2006 IEEE International Conference on Web Services (ICWS'06).
Shuling Wang,
Jiangtao Dai,
Zhaozhuang Guo,
2013,
Circuits Syst. Signal Process..
Naijun Zhan,
Shuling Wang,
Dimitar P. Guelev,
2017,
SETTA.
Geguang Pu,
Zongyan Qiu,
Xiangpeng Zhao,
2006,
WLFM@FM.
Chaochen Zhou,
Naijun Zhan,
Shuling Wang,
2013,
FACS.
Flemming Nielson,
Hanne Riis Nielson,
Shuling Wang,
2014,
ArXiv.
Charles Morisset,
Shuling Wang,
Zhiming Liu,
2012,
Innovations in Systems and Software Engineering.
Geguang Pu,
Zongyan Qiu,
Xiangpeng Zhao,
2005,
FM.
Qin Shu,
Shuling Wang,
Yijing Liu,
2012,
2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.
Shengchao Qin,
Martin Fränzle,
Liang Zou,
2013,
2013 Proceedings of the International Conference on Embedded Software (EMSOFT).
Anders P. Ravn,
Naijun Zhan,
Mengfei Yang,
2016,
UTP.
Flemming Nielson,
Hanne Riis Nielson,
Naijun Zhan,
2016,
Comput. J..
Quan Long,
Zongyan Qiu,
Shuling Wang,
2006,
ICTAC.
Wang Yi,
Jifeng He,
Geguang Pu,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Tao Liu,
Mingsheng Ying,
Naijun Zhan,
2016,
ArXiv.
Naijun Zhan,
Shuling Wang,
Hengjun Zhao,
2013,
ICTAC Training School on Software Engineering.
Xiao Han,
Tao Tang,
Liang Zou,
2017,
Provably Correct Systems.
Charles Morisset,
Shuling Wang,
Zhiming Liu,
2010,
SBMF.
Qin Shu,
Zongyan Qiu,
Shuling Wang,
2010,
Frontiers of Computer Science in China.