03269nam 22007095 450 991048479170332120250520004809.03-319-66335-610.1007/978-3-319-66335-7(CKB)3710000001631278(DE-He213)978-3-319-66335-7(MiAaPQ)EBC6295410(MiAaPQ)EBC5591843(Au-PeEL)EBL5591843(OCoLC)1002417289(PPN)20385036X(EXLCZ)99371000000163127820170810d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierQuantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings /edited by Nathalie Bertrand, Luca Bortolussi1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XIII, 370 p. 94 illus.) Theoretical Computer Science and General Issues,2512-2029 ;105033-319-66334-8 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.  .Theoretical Computer Science and General Issues,2512-2029 ;10503Computer scienceElectronic digital computersEvaluationComputer scienceMathematicsMathematical statisticsComputer simulationComputer Science Logic and Foundations of ProgrammingSystem Performance and EvaluationProbability and Statistics in Computer ScienceTheory of ComputationComputer ModellingComputer science.Electronic digital computersEvaluation.Computer scienceMathematics.Mathematical statistics.Computer simulation.Computer Science Logic and Foundations of Programming.System Performance and Evaluation.Probability and Statistics in Computer Science.Theory of Computation.Computer Modelling.004.24Bertrand Nathalieedthttp://id.loc.gov/vocabulary/relators/edtBortolussi Lucaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910484791703321Quantitative Evaluation of Systems2914390UNINA