Quantitative Evaluation of Systems

15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Quantitative Evaluation of Systems by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319991542
Publisher: Springer International Publishing Publication: August 27, 2018
Imprint: Springer Language: English
Author:
ISBN: 9783319991542
Publisher: Springer International Publishing
Publication: August 27, 2018
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Memory and the Wars on Terror by
Cover of the book Mathematical Modeling of Social Relationships by
Cover of the book Using Comparable Corpora for Under-Resourced Areas of Machine Translation by
Cover of the book Theory of Distributions by
Cover of the book Continuous Nonlinear Optimization for Engineering Applications in GAMS Technology by
Cover of the book Antiphospholipid Syndrome by
Cover of the book Conceptual Modeling by
Cover of the book Ethnocentric Political Theory by
Cover of the book Joint Preservation in the Adult Knee by
Cover of the book Midline Skull Base Surgery by
Cover of the book The Gender of Informal Politics by
Cover of the book Cooperative Design, Visualization, and Engineering by
Cover of the book Model Validation and Uncertainty Quantification, Volume 3 by
Cover of the book OpenGeoSys Tutorial by
Cover of the book Disciplining the Undisciplined? by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy