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

Click on the following:
Springer eBooks
Springer Computer Science eBooks

Copies

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 Analysis computerwetenschappen computer sciences waarschijnlijkheid probability statistiek statistics systeemanalyse systems analysis simulatiemodellen simulation models computational science Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen) 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 systems -- Evaluation -- Congresses Computer networks -- Evaluation -- Congresses Reliability (Engineering) -- Congresses Petri nets -- Congresses Machine theory -- Congresses Systems analysis & design. Maths for computer scientists. User interface design & usability. Computer modelling & simulation. Computer programming -- software development. Computers -- Hardware -- Handheld Devices. Computers -- Mathematical & Statistical Software. Computers -- Machine Theory. Computers -- Computer Simulation. Computers -- Programming -- General. Computer networks -- Evaluation Computer systems -- Evaluation Machine theory Petri nets Reliability (Engineering) Genre/Form proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Campos, Javier, 1963- editor. Haverkort, Boudewijn R., editor. ISBN 9783319222646 3319222643 3319222635 9783319222639

Other Titles QEST 2015

  Permalink