Quantitative Evaluation of Systems [electronic resource] : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / edited by Annabelle McIver, Andras Horvath.
Tipo de material:
TextoSeries Theoretical Computer Science and General Issues ; 11024Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Edición: 1st ed. 2018Descripción: XI, 423 p. 101 illus. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783319991542Tema(s): Computer logic | Software engineering | Mathematical statistics | Artificial intelligence | Computer simulation | Mathematical logic | Logics and Meanings of Programs | Software Engineering | Probability and Statistics in Computer Science | Artificial Intelligence | Simulation and Modeling | Mathematical Logic and Formal LanguagesFormatos físicos adicionales: Printed edition:: Sin título; Printed edition:: Sin títuloClasificación CDD: 005.1015113 Clasificación LoC:QA76.9.L63QA76.5913Recursos en línea: Libro electrónico
En: Springer Nature eBookResumen: This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and measurements emphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods.
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
| Libro Electrónico | Biblioteca Electrónica | Colección de Libros Electrónicos | 1 | No para préstamo |
Acceso multiusuario
This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and measurements emphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods.
UABC ; Temporal ; 01/01/2021-12/31/2023.
