| Quantitative Evaluation of Systems: 11th International Conference, Qest 2014, Florence, Italy, September 8-10, 2014, Proceedings 2014 Edition Contributor(s): Norman, Gethin (Editor), Sanders, William (Editor) |
|
 |
ISBN: 3319106953 ISBN-13: 9783319106953 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: August 2014 |
| Additional Information |
| BISAC Categories: - Computers | Programming - General - Computers | Hardware - Mobile Devices - Computers | Mathematical & Statistical Software |
| Dewey: 004.015 |
| Series: Lecture Notes in Computer Science / Theoretical Computer Sci |
| Physical Information: 0.89" H x 6.14" W x 9.21" (1.34 lbs) 422 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. |