Search results for: Ethan K. Jackson
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2008 > Invited Talk > 1-20
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Model Transformation > 44-58
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Model Analysis > 405-419
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Keynote 3 > 591-591
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Verification and Validation 2 > 653-667
Software & Systems Modeling > 2015 > 14 > 1 > 271-285
Science of Computer Programming > 2014 > 89 > Part B > 105-125