@收款{zbMATH07300867，作者={Shea-Blymyer，Colin和Abbas，Houssam}，Title={自治系统安全的道义逻辑分析}，BookTitle={第23届ACM混合系统国际会议论文集：计算和控制，HSCC 2020，悉尼，澳大利亚和虚拟，2020年4月21日至24日}，国际标准图书编号={978-1-4503-7018-9}，页码={11}，注={Id/No 26}，年份={2020年}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/3365365.3382203}，关键词={68Q45,68Q60,93C30}，zbMATH={7300867}}