Simonetta Balsamo, Marco Bernardo, Marta Simeoni. Performance Evaluation at the Software Architecture Level. In Marco Bernardo, Paola Inverardi, editors, Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures. Volume 2804 of Lecture Notes in Computer Science, pages 207-258, Springer, 2003. [doi]
Abstract is missing.