About the Authors
- Chunhua Jin
-
Roles Methodology
* E-mail: xajch0206@163.com
Affiliation Faculty of Computer & Software Engineering, Huaiyin Institute of Technology, Huai’an, China
- Ge Kan
-
Roles Formal analysis
Affiliation Faculty of Computer & Software Engineering, Huaiyin Institute of Technology, Huai’an, China
- Guanhua Chen
-
Roles Conceptualization
Affiliation Faculty of Computer & Software Engineering, Huaiyin Institute of Technology, Huai’an, China
- Changhui Yu
-
Roles Investigation
Affiliation Faculty of Computer & Software Engineering, Huaiyin Institute of Technology, Huai’an, China
- Ying Jin
-
Roles Validation
Affiliation Faculty of Computer & Software Engineering, Huaiyin Institute of Technology, Huai’an, China
- Chengjie Xu
-
Roles Formal analysis
Affiliation Faculty of Computer & Software Engineering, Huaiyin Institute of Technology, Huai’an, China
Competing Interests
The authors have declared that no competing interests exist.