Quantitative Evaluation of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings
暫譯: 系統的定量評估：第16屆國際會議 Qest 2019，英國格拉斯哥，2019年9月10-12日，會議論文集
Parker, David, Wolf, Verena
- 出版商: Springer
- 出版日期: 2019-09-02
- 售價: $2,410
- 貴賓價: 9.5 折 $2,290
- 語言: 英文
- 頁數: 361
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3030302806
- ISBN-13: 9783030302801
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the proceedings of the 16th International Conference on Quantitative Evaluation Systems, QEST 2019, held in Glasgow, UK, in September 2019.
The 17 full papers presented together with 2 short papers were carefully reviewed and selected from 40 submissions. The papers cover topics in the field of Probabilistic Verification; Learning and Verification; Hybrid Systems; Security; Probabilistic Modelling and Abstraction; and Applications and Tools.
商品描述(中文翻譯)
本書為第16屆國際量化評估系統會議（QEST 2019）的會議紀錄，該會議於2019年9月在英國格拉斯哥舉行。共提交了40篇論文，經過仔細審查和選擇，最終選出17篇完整論文和2篇短文。這些論文涵蓋了以下主題：概率驗證（Probabilistic Verification）、學習與驗證（Learning and Verification）、混合系統（Hybrid Systems）、安全性（Security）、概率建模與抽象（Probabilistic Modelling and Abstraction）、以及應用與工具（Applications and Tools）。
