Quantitative evaluation of systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / edited by Nathalie Bertrand, Luca Bortolussi.
Material type:
TextSeries: Lecture notes in computer science ; 10503. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publisher: Cham, Switzerland : Springer, 2017Description: 1 online resource (xiii, 370 pages) : illustrationsContent type: - text
- computer
- online resource
- 9783319663357
- 3319663356
- QEST 2017
- Computer systems -- Evaluation -- Congresses
- Computer networks -- Evaluation -- Congresses
- Reliability (Engineering) -- Congresses
- Petri nets -- Congresses
- Machine theory -- Congresses
- Electronic Data Processing
- Systèmes informatiques -- Évaluation -- Congrès
- Réseaux d'ordinateurs -- Évaluation -- Congrès
- Fiabilité -- Congrès
- Réseaux de Pétri -- Congrès
- Théorie des automates -- Congrès
- Informatique
- computer science
- data processing
- simulation
- 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)
- 004.2/5 23
- QA76.9.E94
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
Includes author index.
Online resource; title from PDF title page (SpringerLink, viewed September 1, 2017).
Probabilistic modeling -- Smart energy systems over the cloud -- Petri nets and performance modeling -- Parametric verification -- Machine learning and formal methods -- Tools.
This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017. The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and performance modeling; parametric verification; machine learning and formal methods; tools.