Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11024)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: QEST 2018.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (25 papers)
Other volumes
-
Quantitative Evaluation of Systems
Keywords
- artificial intelligence
- cryptography
- decision theory
- differential equations
- learning algorithms
- Markov chains
- matrix algebra
- model checking
- numerical methods
- probability
- probability distribution
- security systems
- semantics
- software engineering
- software evaluation
- specifications
- temporal logic
- verification
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Quantitative Evaluation of Systems
Book Subtitle: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Editors: Annabelle McIver, Andras Horvath
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-99154-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2018
Softcover ISBN: 978-3-319-99153-5Published: 15 August 2018
eBook ISBN: 978-3-319-99154-2Published: 27 August 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 423
Number of Illustrations: 101 b/w illustrations
Topics: Logics and Meanings of Programs, Software Engineering, Probability and Statistics in Computer Science, Artificial Intelligence, Simulation and Modeling, Mathematical Logic and Formal Languages