The following pages link to (Q4547763):
Displaying 4 items.
- Formal techniques for performance analysis: blending SAN and PEPA (Q877152) (← links)
- Formal methods and stochastic models for performance evaluation. Fourth European performance engineering workshop, EPEW 2007, Berlin, Germany, September 27--28, 2007. Proceedings (Q932893) (← links)
- Construction and verification of performance and reliability models (Q2743687) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712361) (← links)