Scheduled System Maintenance:
On May 6th, single article purchases and IEEE account management will be unavailable from 8:00 AM - 12:00 PM ET (12:00 - 16:00 UTC). We apologize for the inconvenience.
By Topic

Fourth International Conference on the Quantitative Evaluation of Systems-Title

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 quantitative evaluation; specification formalisms; performance analysis; automated model analysis; model checking; symbolic analysis of Markov chains; process algebra; stochastic logic; system modelling.

Published in:

Quantitative Evaluation of Systems, 2007. QEST 2007. Fourth International Conference on the

Date of Conference:

17-19 Sept. 2007