Search results for: Sun Meng
Information Sciences > 2018 > 465 > C > 105-117
Journal of Hazardous Materials > 2018 > 358 > C > 20-32
Solid State Communications > 2017 > 250 > C > 18-22
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Model-Driven SOA > 108-123
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 506-520
2016 Chinese Control and Decision Conference (CCDC) > 5248 - 5254
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 3. Short Papers > 447-454
Lecture Notes in Computer Science > Coordination Models and Languages > Session 7. Components and Services II > 286-304
Lecture Notes in Computer Science > Coordination Models and Languages > Verification and Modeling > 268-287
Lecture Notes in Computer Science > Component-Based Software Engineering > Formal Methods and Model Checking > 114-129
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2005 > Object-Orientation and Component Systems > 469-484
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Quality of Service > 301-316
Materials Letters > 2014 > 134 > C > 194-197