Noch Fragen? 0800 / 33 82 637

Quantitative Evaluation of Systems

11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, in September 2014. The 24 full papers and 5 short papers included in this volume were carefully reviewed and selected from 61 submissions. They are organized in topical sections named: Kronecker and product form methods; hybrid systems; mean field/population analysis; models and tools; simulation; queueing, debugging and tools; process algebra and equivalences; automata and Markov process theory; applications, theory and tools; and probabilistic model checking.weiterlesen

Sprache(n): Englisch

ISBN: 978-3-319-10695-3 / 978-3319106953 / 9783319106953

Verlag: Springer International Publishing

Erscheinungsdatum: 20.08.2014

Seiten: 422

Auflage: 1

Zielgruppe: Research

Herausgegeben von Gethin Norman, William Sanders

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück