Erschienen: 12.07.2018 Abbildung von McIver / Horvath | Quantitative Evaluation of Systems | 1st ed. 2018 | 2018 | 15th International Conference,...

McIver / Horvath

Quantitative Evaluation of Systems

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

1st ed. 2018 2018. Buch. xi, 423 S. 101 s/w-Abbildungen, Bibliographien. Softcover

Springer. ISBN 978-3-319-99153-5

Format (B x L): 15,5 x 23,5 cm

Gewicht: 657 g

In englischer Sprache

Produktbeschreibung

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.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...