@收款{zbMATH07378280，作者={Li，Nianyu和Zhang，Mingyue和Kang，Eunsuk和Garlan，David}，Title={带{Bayesian}博弈的工程安全自适应系统}，BookTitle={软件工程的基本方法。第24届国际会议，FASE 2021，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼}，国际标准图书编号={978-3-030-71499-4；978-3-0.30-71500-7}，页码={130--151}，年份={2021}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-71500-7_7}，关键词={68M25,68T05,91A80}，zbMATH={7378280}，Zbl={1467.68019}}