EAN: 9783319991535

QUANTITATIVE EVALUATION OF SYSTEMS KARTONIERT (TB)

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.

Aktuelle Preise zur EAN 9783319991535

Produktinformationen zur 9783319991535