Quantitative Evaluation of Systems
12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings
AvJavier Campos,Boudewijn R. Haverkort
Häftad, Engelska, 2015
Del 9259 i serien Lecture Notes in Computer Science
560 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing systems and hybrid systems. The book also contains one full-paper invited talk.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Computer Performance Evaluation. Modelling Techniques and Tools
Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith
Häftad, 2000
560 kr
Validation of Stochastic Systems
Markus Siegle, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort, Christel Baier
E-bok
2004712 kr
Validation of Stochastic Systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Häftad, 2004
544 kr
Computer Performance Evaluation. Modelling Techniques and Tools
Connie U. Smith, Henrik C. Bohnenkamp, Boudewijn R. Haverkort
E-bok
2003734 kr
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
Boudewijn R. Haverkort, Anne Remke
E-bok
2016734 kr
Performability Modelling
Boudewijn R. Haverkort, Raymond Marie, Gerardo Rubino, Kishor S. Trivedi
Inbunden, 2001
1 743 kr
Del 9629
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
Anne Remke, Boudewijn R. Haverkort
Häftad, 2016
560 kr