Search results for: Jean-Bernard Stefani
Lecture Notes in Computer Science > CAAP '88 > 244-257
Lecture Notes in Computer Science > Generative Programming and Component Engineering > Components and Templates > 389-404
Theoretical Computer Science > 2016 > 625 > C > 25-84
Lecture Notes in Computer Science > TAPSOFT '91 > 359-380
Lecture Notes in Computer Science > Object-Oriented Technology. ECOOP 2006 Workshop Reader > Architectures and Components > 117-129
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Regular Contributions > 167-181
Lecture Notes in Computer Science > Architecting Dependable Systems VI > Part 2. Fault Tolerance and System Evaluation > 124-147
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Models and Calculi > 31-46
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The SELFMAN Project > 153-178
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Processes and Models > 257-271
Lecture Notes in Computer Science > Component-Based Software Engineering > Generation and Adaptation of Component-Based Systems > 7-22
Lecture Notes in Computer Science > Global Computing > 146-178
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Calculi > 109-123
Lecture Notes in Computer Science > Component-Based Software Engineering > Web Services, Late Composition and Verification > 242-257