Quantitative evaluation of systems: 11th international conference, qest 2014, florence, italy, september 8-10, 2014, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319106953
Date de publication :
20 août 2014
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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. models and tools; applications, theory and tools;