Du, Tian-bao
Shen, Guo-hua http://orcid.org/0000-0003-2182-0019
Huang, Zhi-qiu
Yu, Yao-shen
Wu, De-xiang
Funding for this research was provided by:
National Natural Science Foundation of China (61772270)
the National Key Research and Development Project of China (2016YFB1000802, 2018YFB1003902)
the Funding of the Key Laboratory of Safety-Critical Software, China (1015-XCA1816403)
ORCID
Guo-hua SHEN: https://orcid.org/0000-0003-2182-0019
Publication History
Received: 2019-05-02
Accepted: 2019-08-12
Crosschecked: 2020-05-18
Content Type
: Article
Copyright
: © Zhejiang University and Springer-Verlag GmbH Germany, part of Springer Nature 2020