Limit search to available items
Book Cover
Author International Conference on the Quantitative Evaluation of Systems (15th : 2018 : Beijing, China)

Title Quantitative evaluation of systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / Annabelle McIver, Andras Horvath (eds.)
Published Cham, Switzerland : Springer, 2018
Online access available from:
    View Resource Record  


Description 1 online resource (xi, 423 pages) : illustrations
Series LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science, 0302-9743 ; 11024
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Lecture notes in computer science ; 11024. 0302-9743
Summary This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and measurements emphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods
Notes Includes author index
International conference proceedings
Online resource; title from PDF title page (SpringerLink, viewed August 28, 2018)
Subject Computer networks -- Evaluation -- Congresses.
Computer systems -- Evaluation -- Congresses.
Reliability (Engineering) -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Horváth, András, 1974- editor
McIver, Annabelle, editor
ISBN 331999154X (electronic bk.)
9783319991542 (electronic bk.)
Other Titles QEST 2018