By Topic

[Title page i]

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: system performance; queueing; semiMarkov model; Markov decision process; real time system; security analysis; quantitative semantics; reliability; measurement modeling and system modeling.

Published in:

Quantitative Evaluation of Systems (QEST), 2012 Ninth International Conference on

Date of Conference:

17-20 Sept. 2012