By Topic

Table of contents

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.

The following topics are dealt with: probabilistic model checking; performance evaluation; queueing theory; distribution fitting; and Markov decision process.

Published in:

Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the

Date of Conference:

15-18 Sept. 2010