TY  - GEN
AB  - 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.
AU  - Norman, Gethin,
AU  - Sanders, William,
CN  - SpringerLink
CN  - QA76.9.E94
DO  - 10.1007/978-3-319-10696-0
DO  - doi
ID  - 745193
KW  - Computer systems
KW  - Computer networks
KW  - Reliability (Engineering)
KW  - Petri nets
KW  - Machine theory
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-10696-0
N1  - International conference proceedings.
N2  - 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.
SN  - 9783319106960
SN  - 3319106961
T1  - Quantitative evaluation of systems11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : proceedings /
TI  - Quantitative evaluation of systems11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : proceedings /
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-10696-0
VL  - 8657
ER  -