Xudong He
0000-0003-1253-4248
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Advanced Software Engineering Methodologies
(39)
Petri Nets in System Modeling
(33)
Formal Methods in Verification
(28)
Service-Oriented Architecture and Web Services
(25)
Model-Driven Software Engineering Techniques
(25)
Affiliations
South China Agricultural University
University of California, Riverside
University of Essex
Jiangsu University
Central South University of Forestry and Technology