EPEW 2006 (2006 Budapest, Hungary)

• Formal methods and stochastic models for performance evaluation