第二 ETAPS坝顶 2017年:瑞典乌普萨拉
亚历克斯·格罗斯 , 斯特凡·洛伊 :
嵌入式和安全关键系统技术因果推理第二届国际研讨会论文集, ETAPS坝顶 2017年4月29日,瑞典乌普萨拉。 EPTCS系统 259, 2017 Sjur K.Dyrkolbotn先生 :
论因果关系形式理论中的先发制人和过度决定。 1-15 西蒙·雷瓦尔德 , 阿姆贾德·易卜拉欣 , 克里斯蒂安·贝克斯 , 亚历山大·普雷施纳 :
ACCBench:一个比较因果算法的框架。 16-30 伯恩德·芬克贝纳 , 安德烈·库普利亚诺夫 :
基于因果关系的模型检查。 31-38 马可·波扎诺 :
故障管理系统设计中的因果关系和时间依赖性。 39-46 格雷戈·格勒 , 奥列格·索科尔斯基 , 珍妮·伯纳德·斯特凡尼 :
第一原则的反事实因果关系? 47-53 克里斯·梁朝伟(Chris Leong) , 蒂姆·凯利 , 罗伯特·亚历山大 :
将认识不确定性纳入社会技术系统的安全保障。 56-71