Jing Liu
0000-0002-5347-8281
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Formal Methods in Verification
(33)
Advanced Software Engineering Methodologies
(26)
Model-Driven Software Engineering Techniques
(21)
Building Energy and Comfort Optimization
(20)
Anaerobic Digestion and Biogas Production
(14)
Affiliations
Dalian Ocean University
Software Engineering Institute
Tongji University
General Motors (United States)
Aviation Industry Corporation of China (China)