@收款{zbMATH07703957，作者={Junges，Sebastian and Jansen，Nils and Katoen，Joost-Pieter and Topcu，Ufuk and Zhang，Ruohan and Hayhoe，Mary}，标题={人类安全航行的模型检查}，BookTitle={系统的定量评估。第15届国际会议，QEST 2018，中国北京，2018年9月4--7日。诉讼}，国际标准图书编号={978-3-319-99153-5；978-3-3169-99154-2}，页码={207--222}，年份={2018年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-99154-2_13}，关键词={68Q60,68T05,68T42,90C40,93A16,93C85}，zbMATH={7703957}，Zbl={1514.68136}}