Title Quantitative evaluation of systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / Annabelle McIver, Andras Horvath (eds.)

Published Cham, Switzerland : Springer, 2018

Click on the following:
Springer eBooks
Springer Computer Science eBooks

Copies

Description 1 online resource (xi, 423 pages) : illustrations Series Lecture notes in computer science, 0302-9743 ; 11024 LNCS sublibrary. SL 1, Theoretical computer science and general issues Lecture notes in computer science ; 11024. 0302-9743 LNCS sublibrary. SL 1, Theoretical computer science and general issues. Summary This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and measurements emphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods Notes International conference proceedings Includes author index Online resource; title from PDF title page (SpringerLink, viewed August 28, 2018) Subject Computer systems -- Evaluation -- Congresses Computer networks -- Evaluation -- Congresses Reliability (Engineering) -- Congresses Software Engineering. Maths for computer scientists. Artificial intelligence. 3D graphics & modelling. Mathematical theory of computation. Computer programming -- software development. Computers -- Software Development & Engineering -- General. Computers -- Mathematical & Statistical Software. Computers -- Intelligence (AI) & Semantics. Computers -- Computer Simulation. Mathematics -- Logic. Computers -- Programming -- General. Computer networks -- Evaluation Computer systems -- Evaluation Reliability (Engineering) Genre/Form proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author McIver, Annabelle, editor. Horváth, András, 1974- editor. ISBN 9783319991542 331999154X 9783319991559 3319991558

Other Titles QEST 2018

  Permalink