Search results for: Jeff Kramer
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Analyzing Dynamic Models > 380-394
Lecture Notes in Computer Science > Communicating Sequential Processes. The First 25 Years > Concurrent Programming > 211-219
Lecture Notes in Computer Science > Development and Evolution of Software Architectures for Product Families > Architecture Recovery > 106-114
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Components I > 129-143
Lecture Notes in Computer Science > Development and Evolution of Software Architectures for Product Families > Architectural Description > 49-50
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Invited Contribution > 1-18