conf.researchr.org / Yibo Dong
Registered user since Mon 31 Jul 2023
Name:Yibo Dong
Country:China
Affiliation:East China Normal University&Shanghai Trusted Industrial Control Platform Co., Ltd
Research interests:Formal Verfication, Model Checking
Contributions