Search results
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 381-395
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Component Engineering and Software Architecture > 92-97
Lecture Notes in Computer Science > Architecting Dependable Systems IV > Architectural Components and Patterns > 115-141
Lecture Notes in Computer Science > Scientific Engineering of Distributed Java Applications > Component-Based Design of Embedded Software: An Analysis of Design Issues > 58-67