|
@inproceedings{WTVL04, author = {Ernesto Wandeler and Lothar Thiele and Marcel Verhoef and Paul Lieverse}, title = {System Architecture Evaluation Using Modular Performance Analysis - A Case Study}, address = {Paphos, Cyprus}, booktitle = {1st International Symposium on Leveraging Applications of Formal Methods (ISoLA)}, month = {Oct}, year = {2004} }