The Relationship Between Learning Motivation and English Achievement Among Undergraduate Non-English Majors in China: The Mediating Role of Self-Efficacy and Learning Strategies中国非英语专业本科生学习动机与英语成绩的关系：自我效能感和学习策略的中介作用SAGE OPENIF22025-10-010PRE
A spatio-temporal specification language and its completeness & decidabilityJOURNAL OF CLOUD COMPUTING-ADVANCES SYSTEMS AND APPLICATIONSIF4.32020-11-253OA
Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approachJOURNAL OF SYSTEMS AND SOFTWAREIF4.12020-09-0134OAAI
2PC*: a distributed transaction concurrency control protocol of multi-microservice based on cloud computing platformJOURNAL OF CLOUD COMPUTING-ADVANCES SYSTEMS AND APPLICATIONSIF4.32020-07-236OAAI
AADL plus : a simulation-based methodology for cyber-physical systemsFRONTIERS OF COMPUTER SCIENCEIF4.62018-12-2816PREAI
Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based ProjectionIEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMSIF8.42018-11-0114PREAI
A proof-based method of hybrid systems development using differential invariantsFRONTIERS OF COMPUTER SCIENCEIF4.62018-09-050PREAI
个人简介
教育背景
工作经历
荣誉奖项
未登录.png){kind=icon}
未登录个人简介教育背景工作经历荣誉奖项