Quantitative Evaluation of Systems [[electronic resource] ] : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / / edited by Nathalie Bertrand, Luca Bortolussi

• Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
• Edizione: 1st ed. 2017.
• Descrizione fisica: 1 online resource (XIII, 370 p. 94 illus.)
• Disciplina: 004.24
• Soggetto topico: Computer 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
• Persona (resp. second.): BertrandNathalie; BortolussiLuca
• Nota di contenuto: Probabilistic modeling -- Smart energy systems over the cloud -- Petri nets and performance modeling -- Parametric verification -- Machine learning and formal methods -- Tools. .
• Sommario/riassunto: 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. .
• Titolo autorizzato: Quantitative Evaluation of Systems
• ISBN: 3-319-66335-6
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996465877003316
• Lo trovi qui: Univ. di Salerno
• Serie: Theoretical Computer Science and General Issues, . 2512-2029 ; ; 10503