Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings (Theoretical Computer Science and General Issues, Band 8657) - Softcover

 
9783319106953: Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings (Theoretical Computer Science and General Issues, Band 8657)
Softcover
ISBN 10: 3319106953 ISBN 13: 9783319106953
Verlag: Springer, 2014

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2014
Sprache
Englisch
ISBN 10 
3319106953
ISBN 13 
9783319106953
Einband
Taschenbuch
Anzahl der Seiten
436
Herausgeber
Norman Gethin, Sanders William
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783319106977: Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings

Vorgestellte Ausgabe

ISBN 10:  331910697X ISBN 13:  9783319106977
Verlag: Springer, 2014
Softcover