03298nam 22007095 450 99646587700331620230220124443.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[electronic resource] 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 computers—EvaluationComputer science—MathematicsMathematical statisticsComputer simulationComputer Science Logic and Foundations of ProgrammingSystem Performance and EvaluationProbability and Statistics in Computer ScienceTheory of ComputationComputer ModellingComputer science.Electronic digital computers—Evaluation.Computer science—Mathematics.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/edtMiAaPQMiAaPQMiAaPQBOOK996465877003316Quantitative Evaluation of Systems2914390UNISA