Search results for: Matthias Holzl
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > CALCO Tools Workshop > 423-432
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Case Studies and Patterns > 719-736
Lecture Notes in Computer Science > Software-Intensive Systems and New Computing Paradigms > Engineering of Software-Intensive Systems: State of the Art and Research Challenges > 1-44
Lecture Notes in Computer Science > Transactions on Aspect-Oriented Software Development VII > 234-271
Lecture Notes in Computer Science > Formal Modeling: Actors, Open Systems, Biological Systems > Middleware and Meta-architectures > 241-261
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Aspects > 529-543
Lecture Notes in Computer Science > Software-Intensive Systems and New Computing Paradigms > I Ensemble Engineering > 45-63
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Invited Talks > 24-45
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Intro > 1-14
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Applications of Formal Approaches to Service-Oriented Computing > 170-190
Electronic Notes in Theoretical Computer Science > 2009 > 238 > 3 > 189-205