Vai al contenuto principale della pagina
Titolo: | 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 |
Opac: | Controlla la disponibilità qui |