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 Competition and Conflicts on Resource Use by
Cover of the book Interleukin-27: Biological Properties and Clinical Application by
Cover of the book Guide to Data Structures by
Cover of the book Sustainable Wireless Networks by
Cover of the book Chlamydomonas: Biotechnology and Biomedicine by
Cover of the book Service-Oriented and Cloud Computing by
Cover of the book Systemic Thinking by
Cover of the book Dictionary of Corporate Social Responsibility by
Cover of the book Behavioral Neuroscience of Learning and Memory by
Cover of the book Cultural Anatomies of the Heart in Aristotle, Augustine, Aquinas, Calvin, and Harvey by
Cover of the book Introduction to Insurance Mathematics by
Cover of the book Artificial Intelligence in Decision Support Systems for Diagnosis in Medical Imaging by
Cover of the book Web Information Systems Engineering – WISE 2015 by
Cover of the book Interactivity, Collaboration, and Authoring in Social Media by
Cover of the book Bogoliubov-de Gennes Method and Its Applications 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