Proceedings of the 7th international conference on Formal methods for performance evaluation

Authors:
Marco Bernardo;Jane Hillston
Affiliations:
Università di Urbino "Carlo Bo", Istituto di Scienze e Tecnologie dell'Informazione, Urbino, Italy;The University of Edinburgh, Laboratory for Foundations of Computer Science, Edinburgh, UK
Venue:
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Year:
2007

Application of advanced model-driven techniques in performance engineering

EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
Performability measure specification: combining CSRL and MSL

FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Integrating software performance curves with the palladio component model

ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering

Hi-index	0.00