2012年QEST将于伦敦,英国
在伦敦帝国理工学院,2012年9月17日至20日。
与合作
第十届国际会议时间系统的形式化建模与分析
格式2012.

伦敦帝国理工学院，会议地点

• 总主席：威廉·诺滕贝尔
• PC联合主席：朱利亚诺·卡萨利（Giuliano Casale）、露西·切尔卡索娃（Lucy Cherkasova）、霍尔格·赫尔曼斯（Holger Hermanns）
• 会议主席：杰里米·布拉德利
• 教程主席：加博尔·霍瓦思
• 工具椅：肯·基夫
• 宣传主席：奈杰尔·托马斯
• 当地安排主席：安东·斯特凡内克
• 网站：乌里·哈德

系统定量评估国际会议(QEST公司)是计算机系统评估和验证的领先论坛和网络，通过随机模型和测量。

感兴趣的性能指标包括响应时间、可靠性、可用性、，安全性、安全性、生存性、正确性、及时性和效率。地区感兴趣的包括建模形式和方法、测量、分析以及数值评估、模拟和验证以及概率理论，并发和非确定性行为。同样有趣的是，案例研究显示定量评估在包括计算机架构在内的系统设计中的作用，分布式和容错系统、通信系统、嵌入式系统、基于web系统和安全关键系统。

此外，支持实用程序的工具QEST特别关注研究成果在上述所有领域的应用因此，需要工具文件。

简言之，QEST旨在创建一种合理的方法评估和设计可信计算系统和网络的基础。

选定的论文将出现在性能评估日志.