国际计算机安全、可靠性和安全会议（SAFECOMP）
第43届SAFECOMP 2024：意大利佛罗伦萨
安德烈亚·塞卡雷利 
, 马里奥陷阱 , 安德烈亚·邦达瓦利 , 弗里德曼·比施 :
计算机安全、可靠性和安全——第43届国际会议，SAFECOMP 2024，意大利佛罗伦萨，2024年9月18日至20日，会议记录。 计算机科学课堂讲稿 14988, 施普林格 2024 ，国际标准图书编号 978-3-031-68605-4 [目录] 安德烈亚·塞卡雷利 , 马里奥陷阱 , 安德烈亚·邦达瓦利 , 埃尔文·肖奇 , 芭芭拉·加利纳 , 弗里德曼·比施 :
计算机安全、可靠性和安全性。 SAFECOMP 2024研讨会——DECSS、SASSUR、TOASTS和WAISE，意大利佛罗伦萨，2024年9月17日，会议记录。 计算机科学课堂讲稿 14989, 施普林格 2024 ，国际标准图书编号 978-3-031-68737-2 [目录]
第42届SAFECOMP 2023：法国图卢兹
杰雷米·吉奥切特 , 斯特凡诺·托内塔 , 弗里德曼·比施 :
计算机安全、可靠性和安全——第42届国际会议，SAFECOMP 2023，法国图卢兹，2023年9月20日至22日，会议记录。 计算机科学课堂讲稿 14181, 施普林格 2023 ，国际标准图书编号 978-3-031-40922-6 [目录] 杰雷米·吉奥切特 , 斯特凡诺·托内塔 , 埃尔文·肖奇 , 马蒂厄·罗伊 , 弗里德曼·比施 :
计算机安全、可靠性和安全性。 SAFECOMP 2023研讨会——ASSURE、DECSS、SASSUR、SENSEI、SRToITS和WAISE，法国图卢兹，2023年9月19日，会议记录。 计算机科学课堂讲稿 14182, 施普林格 2023 ，国际标准图书编号 978-3-031-40952-3 [目录]
第41届SAFECOMP 2022：德国慕尼黑
马里奥陷阱 , 弗朗西丝卡·萨利埃蒂 , 马克·斯皮斯兰德 , 弗里德曼·比施 :
计算机安全、可靠性和安全——第41届国际会议，SAFECOMP 2022年，德国慕尼黑，2022年9月6日至9日，会议记录。 计算机科学课堂讲稿 13414, 施普林格 2022 ，国际标准图书编号 978-3-031-14834-7 [目录] 马里奥陷阱 , 埃尔文·肖奇 , 杰雷米·吉奥切特 , 弗里德曼·比施 :
计算机安全、可靠性和安全性。 SAFECOMP 2022研讨会——DECSS、DepDevOps、SASSUR、SENSEI、USDAI和WAISE，德国慕尼黑，2022年9月6日至9日，会议记录。 计算机科学课堂讲稿 13415, 施普林格 2022 ，国际标准图书编号 978-3-031-14861-3 [目录]
2021年第40届SAFECOMP：英国约克
易卜拉欣·哈布利 , 马克·苏扬 , 弗里德曼·比施 :
计算机安全、可靠性和安全——第40届国际会议，SAFECOMP 2021，英国约克，2021年9月8日至10日，会议记录。 计算机科学课堂讲稿 12852, 施普林格 2021 ，国际标准图书编号 978-3-030-83902-4 [目录] 易卜拉欣·哈布利 , 马克·苏扬 , 西蒙斯·杰拉西莫 , 埃尔文·肖奇 , 弗里德曼·比施 :
计算机安全、可靠性和安全性。 SAFECOMP 2021研讨会——DECSS、MAPSOD、DepDevOps、USDAI和WAISE，英国约克，2021年9月7日，会议记录。 计算机科学课堂讲稿 12853, 施普林格 2021 ，国际标准图书编号 978-3-030-83905-5 [目录]
2020年第39届SAFECOMP：葡萄牙里斯本
安东尼奥·卡西米罗 , 弗兰克·奥特米耶 , 弗里德曼·比施 , 佩德罗·费雷拉 :
计算机安全、可靠性和安全——第39届国际会议，SAFECOMP 2020，葡萄牙里斯本，2020年9月16-18日，会议记录。 计算机科学课堂讲稿 12234, 施普林格 2020 ，国际标准图书编号 978-3-030-54548-2 [目录] 安东尼奥·卡西米罗 , 弗兰克·奥特米耶 , 埃尔文·肖奇 , 弗里德曼·比施 , 佩德罗·费雷拉 :
计算机安全、可靠性和安全性。 SAFECOMP 2020研讨会——2020年DECSS、2020年DepDevOps、2020年USDAI和2020年WAISE，葡萄牙里斯本，2020年9月15日，会议记录。 计算机科学课堂讲稿 12235, 施普林格 2020 ，国际标准图书编号 978-3-030-55582-5 [目录]
2019年第38届SAFECOMP：芬兰图尔库
亚历山大·罗曼诺夫斯基 , 埃琳娜·特鲁比西纳 , 弗里德曼·比施 :
计算机安全、可靠性和安全——第38届国际会议，2019年SAFECOMP 2019年9月11日至13日，芬兰图尔库，会议记录。 计算机科学课堂讲稿 11698, 施普林格 2019 ，国际标准图书编号 978-3-030-26600-4 [目录] 亚历山大·罗曼诺夫斯基 , 埃琳娜·特鲁比西纳 , 伊里尔·加西 , 埃尔文·肖奇 , 弗里德曼·比施 :
计算机安全、可靠性和安全-SAFECOMP 2019研讨会，ASSURE、DECSoS、SASSUR、STRIVE和WAISE，芬兰图尔库，2019年9月10日，会议记录。 计算机科学课堂讲稿 11699, 施普林格 2019 ，国际标准图书编号 978-3-030-26249-5 [目录]
2018年第37届SAFECOMP：瑞典瓦斯特
芭芭拉·加利纳 , 阿蒙德·斯卡夫豪格 , 弗里德曼·比施 :
计算机安全、可靠性和安全——第37届国际会议，SAFECOMP 2018，瑞典瓦斯特拉斯，2018年9月19-21日，会议记录。 计算机科学课堂讲稿 11093, 施普林格 2018 ，国际标准图书编号 978-3-319-99129-0 [目录] 芭芭拉·加利纳 , 阿蒙德·斯卡夫豪格 , 埃尔文·肖奇 , 弗里德曼·比施 :
计算机安全、可靠性和安全——SAFECOMP 2018研讨会，ASSURE、DECSS、SASSUR、STRIVE和WAISE，瑞典瓦斯特拉斯，2018年9月18日，会议记录。 计算机科学课堂讲稿 11094, 施普林格 2018 ，国际标准图书编号 978-3-319-99228-0 [目录]
2017年第36届SAFECOMP：意大利特伦托
斯特凡诺·托内塔 , 埃尔文·肖奇 , 弗里德曼·比施 :
计算机安全、可靠性和安全——第36届国际会议，2017年SAFECOMP，意大利特伦托，2017年9月13日至15日，会议记录。 计算机科学课堂讲稿 10488, 施普林格 2017 ，国际标准图书编号 978-3-319-66265-7 [目录] 斯特凡诺·托内塔 , 埃尔文·肖奇 , 弗里德曼·比施 :
计算机安全、可靠性和安全——SAFECOMP 2017年研讨会，ASSURE，DECSS，SASSUR，TELERISE，TIPS，意大利特伦托，2017年9月12日，会议记录。 计算机科学课堂讲稿 10489, 施普林格 2017 ，国际标准图书编号 978-3-319-66283-1 [目录]
2016年第35届SAFECOMP：挪威特隆赫姆
阿蒙德·斯卡夫豪格 , 杰雷米·吉奥切特 , 弗里德曼·比施 :
计算机安全、可靠性和安全——第35届国际会议，2016年SAFECOMP，挪威特隆赫姆，2016年9月21日至23日，会议记录。 计算机科学课堂讲稿 9922, 施普林格 2016 ，国际标准图书编号 978-3-319-45476-4 [目录] 阿蒙德·斯卡夫豪格 , 杰雷米·吉奥切特 , 埃尔文·肖奇 , 弗里德曼·比施 :
计算机安全、可靠性和安全——SAFECOMP 2016年研讨会，ASSURE，DECSS，SASSUR和TIPS，挪威特隆赫姆，2016年9月20日，会议记录。 计算机科学课堂讲稿 9923, 施普林格 2016 ，国际标准图书编号 978-3-319-45479-5 [目录]
第34届SAFECOMP 2015：荷兰代尔夫特
Koornneef地板 , 科恩·范·古利克 :
计算机安全、可靠性和安全——第34届国际会议，SAFECOMP 2015代尔夫特，荷兰，2015年9月23日至25日。 诉讼程序。 计算机科学课堂讲稿 9337, 施普林格 2015 ，国际标准图书编号 978-3-319-24254-5 [目录] Koornneef地板 , 科恩·范·古利克 :
计算机安全、可靠性和安全——SAFECOMP 2015年研讨会，ASSURE，DECSS，ISSE，ReSA4CI，SASSUR，荷兰代尔夫特，2015年9月22日，会议记录。 计算机科学课堂讲稿 9338, 施普林格 2015 ，国际标准图书编号 978-3-319-24248-4 [目录]
第33届SAFECOMP 2014：意大利佛罗伦萨
安德烈亚·邦达瓦利 , 费利西塔·迪·詹多梅尼科 :
2014年9月10日至12日，意大利佛罗伦萨，2014年SAFECOMP第33届国际会议，计算机安全、可靠性和安全。 诉讼程序。 计算机科学课堂讲稿 8666, 施普林格 2014 ，国际标准图书编号 978-3-319-10505-5 [目录] 安德烈亚·邦达瓦利 , 安德烈亚·塞卡雷利 , 弗兰克·奥特米耶 :
计算机安全、可靠性和安全——SAFECOMP 2014年研讨会：ASCoMS、DECSS、DEVVARTS、ISSE、ReSA4CI、SASSUR。 2014年9月8日至9日，意大利佛罗伦萨。 诉讼程序。 计算机科学课堂讲稿 8696, 施普林格 2014 ，国际标准图书编号 978-3-319-10556-7 [目录]
2013年第32届SAFECOMP：法国图卢兹
弗里德曼·比施 , 杰雷米·吉奥切特 , 穆罕默德·卡亚利基 :
计算机安全、可靠性和安全——第32届国际会议，2013年9月24日至27日，法国图卢兹，SAFECOMP 2013。 诉讼程序。 计算机科学课堂讲稿 8153, 施普林格 2013 ，国际标准图书编号 978-3-642-40792-5 [目录] 亨利克·洛恩 , 埃拉·迈克尔·席勒 :
SAFECOMP 2013——第32届计算机安全、可靠性和安全国际会议ASCoMS（协作移动系统中的架构安全）研讨会，法国图卢兹，2013年。 哈尔 2013 [目录] Jean-Charles Fabre公司 , 菲利普·奎雷 , 马里奥陷阱 :
SAFECOMP 2013–第32届计算机安全、可靠性和安全国际会议CARS研讨会（第二届关键汽车应用研讨会：稳健性和安全），法国图卢兹，2013年。 哈尔 2013 [目录] 埃尔文·肖奇 , 阿蒙德·斯卡夫豪格 :
SAFECOMP 2013——第32届计算机安全、可靠性和安全国际会议DECS研讨会（ERCIM/EWICS可靠嵌入式和网络物理系统研讨会），法国图卢兹，2013年。 哈尔 2013 [目录] 亚历杭德拉·鲁伊斯 , 蒂姆·凯利 , 何塞·路易斯·德拉瓦拉 :
SAFECOMP 2013——第32届计算机安全、可靠性和安全国际会议SASSUR研讨会（安全关键系统的下一代系统保证方法），法国图卢兹，2013年。 哈尔 2013 [目录]
2012年第31届SAFECOMP：德国马格德堡
弗兰克·奥特米耶 , 彼得·丹尼尔 :
计算机安全、可靠性和安全——第31届国际会议，2012年9月25日至28日，德国马格德堡SAFECOMP 2012。 诉讼程序。 计算机科学课堂讲稿 7612, 施普林格 2012 ，国际标准图书编号 978-3-642-33677-5 [目录] 弗兰克·奥特米耶 , 彼得·丹尼尔 :
计算机安全、可靠性和安全——SAFECOMP 2012年研讨会：Sassur、ASCoMS、DESEC4LCCI、ERCIM/EWICS、IWDE、德国马格德堡，2012年9月25日至28日。 诉讼程序。 计算机科学课堂讲稿 7613, 施普林格 2012 ，国际标准图书编号 978-3-642-33674-4 [目录]
2011年第30届SAFECOMP：意大利那不勒斯
弗朗西斯科·弗拉米尼 , 桑德罗·博洛尼亚 , 瓦莱里娅·维托里尼 :
2011年9月19日至22日，在意大利那不勒斯举行的第30届国际计算机安全、可靠性和安全大会，SAFECOMP 2011。 诉讼程序。 计算机科学课堂讲稿 6894, 施普林格 2011 ，国际标准图书编号 978-3-642-24269-4 [目录]
2010年第29届SAFECOMP：奥地利维也纳
埃尔文·肖奇 :
2010年9月14日至17日，奥地利维也纳，2010年SAFECOMP第29届国际会议，计算机安全、可靠性和安全。 诉讼程序。 计算机科学课堂讲稿 6351, 施普林格 2010 ，国际标准图书编号 978-3-642-15650-2 [目录]
第28届SAFECOMP 2009：德国汉堡
贝蒂娜·布斯 , 格德·拉贝 , 直到Seyfarth :
计算机安全、可靠性和安全，第28届国际会议，2009年9月15日至18日，德国汉堡，SAFECOMP 2009。 诉讼程序。 计算机科学课堂讲稿 5775, 施普林格 2009 ，国际标准图书编号 978-3-642-04467-0 [目录]
第27届SAFECOMP 2008：英国泰恩河畔纽卡斯尔
迈克尔·哈里森 , Mark-Alexander Sujan公司 :
计算机安全、可靠性和安全，第27届国际会议，2008年SAFECOMP，英国泰恩河畔纽卡斯尔，2008年9月22日至25日，会议记录。 计算机科学课堂讲稿 5219, 施普林格 2008 ，国际标准图书编号 978-3-540-87697-7 [目录]
2007年第26届SAFECOMP：德国纽伦堡
弗朗西丝卡·萨利埃蒂 , 诺伯特·奥斯特 :
2007年9月18日至21日，德国纽伦堡，2007年SAFECOMP第26届国际会议，计算机安全、可靠性和安全。 计算机科学课堂讲稿 4680, 施普林格 2007 ，国际标准图书编号 978-3-540-75100-7 [目录]
2006年第25届SAFECOMP：波兰格但斯克
雅努斯·哥尔斯基 :
计算机安全、可靠性和安全，第25届国际会议，2006年SAFECOMP，波兰格但斯克，2006年9月27日至29日，会议记录。 计算机科学课堂讲稿 4166, 施普林格 2006 ，国际标准图书编号 3-540-45762-3 [目录]
2005年第24届SAFECOMP：挪威弗雷德里克斯塔德
符文·温特 , 比约恩·阿克塞尔·格兰 , 古斯塔夫·达尔 :
计算机安全、可靠性和安全，第24届国际会议，SAFECOMP 2005，Fredrikstad，挪威，2005年9月28日至30日，会议记录。 计算机科学课堂讲稿 3688, 施普林格 2005 ，国际标准图书编号 3-540-29200-4 [目录]
2004年第23届SAFECOMP：德国波茨坦
玛丽塔·海塞尔 , 彼得·利格斯迈耶 , 斯特凡·威特曼 :
计算机安全、可靠性和安全，第23届国际会议，SAFECOMP 2004，波茨坦，德国，2004年9月21日至24日，会议记录。 计算机科学课堂讲稿 3219, 施普林格 2004 ，国际标准图书编号 3-540-23176-5 [目录]
2003年第22届SAFECOMP：英国爱丁堡
斯图亚特·安德森 , 马西莫·费利奇 , 贝夫·利特伍德 :
《计算机安全、可靠性和安全》，第22届国际会议，SAFECOMP 2003，英国爱丁堡，2003年9月23日至26日，会议记录。 计算机科学课堂讲稿 2788, 施普林格 2003 ，国际标准图书编号 3-540-20126-2 [目录]
第21届SAFECOMP 2002：意大利卡塔尼亚
斯图亚特·安德森 , 桑德罗·博洛尼亚 , 马西莫·费利奇 :
计算机安全、可靠性和安全，第21届国际会议，2002年SAFECOMP，2002年9月10日至13日，意大利卡塔尼亚，会议记录。 计算机科学课堂讲稿 2434, 施普林格 2002 ，国际标准图书编号 3-540-44157-3 [目录]
第20届SAFECOMP 2001：匈牙利布达佩斯
Udo Voges公司 :
计算机安全、可靠性和安全，第20届国际会议，2001年9月26日至28日，匈牙利布达佩斯，SAFECOMP 2001，会议记录。 计算机科学课堂讲稿 2187, 施普林格 2001 ，国际标准图书编号 3-540-42607-8 [目录]
第19届SAFECOMP 2000：荷兰鹿特丹
Koornneef地板 , 梅恩·范德梅伦 :
计算机安全、可靠性和安全，第19届国际会议，SAFECOMP 2000，荷兰鹿特丹，2000年10月24-27日，会议记录。 计算机科学课堂讲稿 1943, 施普林格 2000 ，国际标准图书编号 3-540-41186-0 [目录]
第18届SAFECOMP 1999：法国图卢兹
马西莫·费利奇 , 卡拉马·卡农 , 阿尔贝托·帕斯奎尼 :
计算机安全、可靠性和安全，第18届国际会议，SAFECOMP'99，法国图卢兹，1999年9月，会议记录。 计算机科学课堂讲稿 1698, 施普林格 1999 ，国际标准图书编号 3-540-66488-2 [目录]
第17届SAFECOMP 1998：德国海德堡
沃尔夫冈·艾伦伯格 :
《计算机安全、可靠性和安全》，第17届国际会议，1998年10月5日至7日，德国海德堡SAFECOMP'98，会议记录。 计算机科学课堂讲稿 1516, 施普林格 1998 ，国际标准图书编号 3-540-65110-1 [目录]
第16届SAFECOMP 1997：英国约克
第15届SAFECOMP 1996：奥地利维也纳
埃尔文·肖奇 :
第十五届计算机安全、可靠性和安全国际会议，1996年10月23日至25日，奥地利维也纳，Safe Comp。 施普林格 1997 ，国际标准图书编号 978-3-540-76070-2 [目录]
第14届SAFECOMP 1995：意大利贝尔格莱特卡洛塔别墅
格哈德·拉贝 :
第十四届计算机安全、可靠性和安全国际会议，1995年10月11日至13日，意大利贝尔格莱特，Safecomp 1995。 施普林格 1995 ，国际标准图书编号 978-3-540-19962-5 [目录]
1993年第12届SAFECOMP：波兰波兹南-基克尔茨
雅努斯·哥尔斯基 :
第十二届计算机安全、可靠性和安全国际会议，1993年SAFECOMP，波兰波兹南-基克尔茨，1993年10月27日至29日。 施普林格 1993 ，国际标准图书编号 978-3-540-19838-3 [目录]
