Document is current
Any future updates will be listed below
-
Authors
Du, Tian-bao
Shen, Guo-hua https://orcid.org/0000-0003-2182-0019
Huang, Zhi-qiu
Yu, Yao-shen
Wu, De-xiang
-
Funding
Funding for this research was provided by:
National Natural Science Foundation of China (61772270)
the National Key Research and Development Project of China (2016YFB1000802)
the National Key Research and Development Project of China (2018YFB1003902)
the Funding of the Key Laboratory of Safety-Critical Software, China (1015-XCA1816403)
- License Information
-
More Information
Article History
Received: 2 May 2019
Revised: 12 August 2019
Accepted: 12 August 2019
First Online: 4 July 2020
