Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures (Lecture Notes in Computer ... Computer Science and General Issues)
by Anne Remke, Mariëlle Stoelinga
ISBN 13: 9783662454886
Format: Paperback (281 pages) Publisher: Springer Published: 12 Nov 2014
Save for later
Analytical and Stochastic Modelling Techniques and Applications: 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings (Lecture Notes in Computer Science)
by Anne Remke, Daniele Manini, Marco Gribaudo
ISBN 13: 9783319185781
Format: Paperback (220 pages) Publisher: Springer Published: 14 Jun 2015
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems: 18th International GI/ITG Conference, MMB & DFT 2016, Münster, ... (Lecture Notes in Computer Science)
by Anne Remke, Boudewijn R. Haverkort
ISBN 13: 9783319315584
Format: Paperback (224 pages) Publisher: Springer Published: 18 Apr 2016
Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings (Lecture Notes in Computer Science)
by Rena Bakhshi, Benoît Barbot, Paolo Ballarini
ISBN 13: 9783030022266
Format: Paperback (284 pages) Publisher: Springer Published: 14 Nov 2018