11. Computer Performance Evaluation / TOOLS 2000: Schaumburg, IL, USA

Invited Paper

Queueing Network Models

Optimisation in Mobile Networks

Stochastic Petri Nets

Simulation

Formal Methods and Performance Evaluation

Measurement Tools and Applications

Tool Descriptions

a service of Schloss Dagstuhl - Leibniz Center for Informatics