|
![]() |
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Gethin Norman , William SandersPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 2014 ed. Volume: 8657 Dimensions: Width: 15.50cm , Height: 2.30cm , Length: 23.50cm Weight: 6.555kg ISBN: 9783319106953ISBN 10: 3319106953 Pages: 422 Publication Date: 20 August 2014 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |