Abstract
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.
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.
Original language | English |
---|---|
Title of host publication | Quantitative Evaluation of Systems |
Subtitle of host publication | 15th International Conference, QEST 2018 |
Editors | Annabelle McIver, Andras Horvath |
Pages | v-vi |
Number of pages | 2 |
Volume | 11024 LNCS |
ISBN (Electronic) | 9783319991542 |
DOIs | |
Publication status | Published - 1 Jan 2018 |
Event | 15th International Conference on Quantitative Evaluation of Systems, QEST 2018 - Beijing, China Duration: 4 Sept 2018 → 7 Sept 2018 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Publisher | Springer, Springer Nature |
ISSN (Print) | 0302-9743 |
Conference
Conference | 15th International Conference on Quantitative Evaluation of Systems, QEST 2018 |
---|---|
Country/Territory | China |
City | Beijing |
Period | 4/09/18 → 7/09/18 |