×
亚历山德罗·阿巴特（编辑）;安德烈亚·马林（编辑）

系统的定量评估。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23日至27日。诉讼程序。 （英文） Zbl 1482.68004号

计算机科学课堂讲稿12846.查姆：施普林格（ISBN 978-3-030-85171-2/pbk；978-3-0030-85172-9/电子书）。xv，469页。(2021).

将索引文章显示为搜索结果。

对数学感兴趣的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1475.68022号].
索引文章：
阿恩·哈特曼斯；Joost-Pieter Katoen；科伦、布拉姆；拼写，Jip，在概率时间自动机中调整概率，39-58[Zbl 1491.68098号]
Samuel Teuber；亚历山大·维格尔，通过模型计数量化软件可靠性，59-79[兹比尔1491.68113]
Carnevali，劳拉；马尔科·保列里（Marco Paolieri）；里卡多·雷亚尔；恩里科·比卡里奥，复杂工作流响应时间分布的合成安全近似，83-104[Zbl 1491.68119号]
斯特凡·卡伦；马蒂亚斯·尼贝格；奥尔勒·马特森，Stateflow中工具支持的分层半马尔可夫过程模型的瞬态分析，105-126[Zbl 1491.68124号]
亚历山大·谢夫勒（Alexander Schefler）；斯坦芬·邦多夫，FIFO排队系统前馈网络中边界延迟的网络演算，149-167[Zbl 1491.68031号]
阿克巴里·莫哈达姆（Akbari-Moghaddam），马里亚姆（Maryam）；Down，道格拉斯·G。，SEH：单服务器队列的大小估计对冲，168-185[Zbl 1491.68028号]
Ghiț，Bogdan；阿瑟·坦塔维，186-194年云现货市场中投标建议的近似贿赂排队模型[Zbl 1491.68023号]
保罗·皮奥（Paul Piho）；简·希尔斯顿，平滑模型检查中的主动和稀疏方法，217-234[Zbl 1491.68112号]
Busatto-Gaston，Damien；查克拉波蒂，德布拉吉；Guha，Shibashis；吉列尔莫·A·佩雷斯。；Jean-François拉斯金，近最优调度的安全学习，235-254[Zbl 1491.68151号]
马可·格里鲍多（Marco Gribaudo）；毛罗·伊阿科诺；丹尼尔·马尼尼，具有不同吸收、反射和混合屏障的N维二阶流体模型的模拟，276-292[Zbl 1491.60160号]
穆雷·伍德赛德，通过测量利用率控制服务器速度的队列响应时间，295-309[兹比尔1491.68033]
王汝南；朱利安诺·卡萨莱；安东尼奥·菲列里，使用马尔可夫到达过程估计微服务的服务需求分布，310-328[Zbl 1491.68032号]
基兰斯基（Grzegorz Kielanski）；本尼·范霍特，大规模多线程计算中工作窃取策略的性能分析，329-348[Zbl 1491.68029号]
迈克尔·巴肯克勒（Michael Backenköhler）；卢卡·博托卢西（Luca Bortolussi）；格罗·曼（Gerrit Großmann）；维雷娜·沃尔夫，马尔可夫人口模型平稳分布的抽象引导截断，351-371[Zbl 1500.92085号]
卡拉广场；萨宾娜·罗西，关于比例集总率的推理，372-390[Zbl 1491.68030号]
卢卡·卡德利；格鲁苏，拉杜；Larsen，Kim G。；米尔科·特里巴斯通；马克斯·柴科夫斯基（Max Tschaikowski）；安德烈·范丁，不确定连续时间马尔可夫链的集总性，391-409[Zbl 1492.60219号]
恩格尔·勒福丘，（可控）随机系统的精确近似诊断，413-434[Zbl 1491.68027号]
Carina Pilch；斯特凡·舒普（Stefan Schupp）；安妮·雷姆克，通过flowpipe构造优化一类受限随机混合自动机的可达概率，435-456[Zbl 1491.68102号]
卡洛斯·巴德（Carlos E.Budde）。；克莉丝汀娜·科尔布（Christina Kolb）；玛丽·斯托琳加，攻击树与故障树：不同货币的同一硬币的两面，457-467[Zbl 1491.68035号]

引用于1审查

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
6800万 计算机系统组织
68季度xx 计算理论
00B25型 杂项特定利益的会议记录

引文：

Zbl 1475.68022号
PDF格式BibTeX公司 XML格式引用
\textit{A.Abate}（编辑）和\textit{A.Marin}（主编），系统的定量评估。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23-27日。诉讼程序。商会：施普林格（2021；兹比尔1482.68004）
全文： 内政部