EPEW 2007 (2007 Berlin, Germany)

• Formal methods and stochastic models for performance evaluation