Norman, G. and William, S. eds. (2014) Quantitative Evaluation of Systems: 11th International Conference, Florence, Italy, 8-10 September 2014. Series: Lecture Notes in Computer Science, 8657. Springer Verlag. ISBN 9783319106960
Full text not currently available from Enlighten.
Publisher's URL: http://link.springer.com/book/10.1007%2F978-3-319-10696-0
Abstract
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.
Item Type: | Books |
---|---|
Status: | Published |
Glasgow Author(s) Enlighten ID: | Norman, Dr Gethin |
Authors: | |
College/School: | College of Science and Engineering > School of Computing Science |
Publisher: | Springer Verlag |
ISBN: | 9783319106960 |
Related URLs: |
University Staff: Request a correction | Enlighten Editors: Update this record