Record:   Prev Next
Author International Conference on the Quantitative Evaluation of Systems (14th : 2017 : Berlin, Germany)
Title Quantitative evaluation of systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017 : proceedings / edited by Nathalie Bertrand, Luca Bortolussi
Imprint Cham : Springer International Publishing : Imprint: Springer, 2017
book jacket
Descript 1 online resource (xiii, 370 pages) : illustrations, digital ; 24 cm
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file PDF rda
Series Lecture notes in computer science, 0302-9743 ; 10503
Lecture notes in computer science ; 10503
Note Probabilistic modeling -- Smart energy systems over the cloud -- Petri nets and performance modeling -- Parametric verification -- Machine learning and formal methods -- Tools
Host Item Springer eBooks
Subject Computer systems -- Evaluation -- Congresses
Computer networks -- Evaluation -- Congresses
Reliability (Engineering) -- Congresses
Petri nets -- Congresses
Machine theory -- Congresses
Computer Science
Logics and Meanings of Programs
System Performance and Evaluation
Probability and Statistics in Computer Science
Computation by Abstract Devices
Simulation and Modeling
Alt Author Bertrand, Nathalie, editor
Bortolussi, Luca, editor
SpringerLink (Online service)
Alt Title QEST 2017
Record:   Prev Next