Del 9259
Quantitative Evaluation of Systems
12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings
AvBoudewijn R. Haverkort,Javier Campos
E-bok
PDF, Engelska, 2015687 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
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
561 kr
Validation of Stochastic Systems
Markus Siegle, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort, Christel Baier
E-bok
2004687 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
2003718 kr
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
Boudewijn R. Haverkort, Anne Remke
E-bok
2016708 kr
Neuro-Fuzzy Control of Industrial Systems with Actuator Nonlinearities
Frank L. Lewis, Javier Campos, Rastko Selmic
Inbunden, 2002
1 251 kr
Performability Modelling
Boudewijn R. Haverkort, Raymond Marie, Gerardo Rubino, Kishor S. Trivedi
Inbunden, 2001
1 706 kr
Del 9629
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
Anne Remke, Boudewijn R. Haverkort
Häftad, 2016
561 kr