伊安妮斯·帕帕佐普洛斯 库罗什·阿斯兰塞法特 卡氏帕纳吉奥蒂斯 马可·波扎诺 基于模型的安全与评估——第六届国际研讨会，IMBSA 2019，希腊塞萨洛尼基，2019年10月16-18日，会议记录 IMBSA公司 施普林格 2019 计算机科学课堂讲稿 11842 978-3-030-32871-9 978-3-030-32872-6 https://doi.org/10.1007/978-3-030-32872-6 db/conf/imbsa/imbsa2019.html