Search results for: Jifeng He
Frontiers of Computer Science > 2019 > 13 > 3 > 516-538
Formal Aspects of Computing > 2018 > 30 > 2 > 193-217
IEEE MultiMedia > 2016 > 23 > 3 > 56 - 63
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues > ASIAN’2006 > 28-36
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Regular Papers > 251-266
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Model Transformation and Analysis for Industrial Scale Validation > 594-608
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 288-335
Lecture Notes in Computer Science > International Symposium on Fundamentals of Software Engineering > 191-206
Lecture Notes in Computer Science > Distributed Computing and Internet Technology > Section 1: Distributed Systems and Languages > 1-12
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification Techniques and Languages > 168-179
Lecture Notes in Computer Science > Distributed Computing and Internet Technology > Section 5 - e-Application Engineering > 225-239
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Internetware and Web-Based Systems > 246-263
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2008 > Specification Framework I > 149-168