Limit search to available items
Record 20 of 23
Previous Record Next Record
Book Cover
Author International Conference on the Quantitative Evaluation of Systems (12th : 2015 : Madrid, Spain)

Title Quantitative evaluation of systems : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / Javier Campos, Boudewijn R. Haverkort (eds.)
Published Cham : Springer, 2015
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (xvi, 329 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 9259
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 9259. 0302-9743
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Summary 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
Notes International conference proceedings
Bibliography Includes bibliographical references and author index
Notes English
Online resource; title from PDF title page (SpringerLink, viewed August 27, 2015)
Subject Computer networks -- Evaluation -- Congresses.
Computer systems -- Evaluation -- Congresses.
Machine theory -- Congresses.
Petri nets -- Congresses.
Reliability (Engineering) -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Campos, Javier, 1963- editor
Haverkort, Boudewijn R., editor
ISBN 3319222635
3319222643 (electronic bk.)
9783319222646 (electronic bk.)
Other Titles QEST 2015