默认搜索操作

组合dblp搜索
作者搜索
场地搜索
出版物搜索

问别人

2012年第31届SAFECOMP：德国马格德堡

>主页 >会议和研讨会 >SAFECOMP公司

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/2012
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/2012
弗兰克·奥特米耶,彼得·丹尼尔:
计算机安全、可靠性和安全——第31届国际会议，2012年9月25日至28日，德国马格德堡SAFECOMP 2012。诉讼程序。计算机科学课堂讲稿7612,施普林格 2012，国际标准图书编号978-3-642-33677-5

第一部分：工具

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Denney第12页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/DenneyP12
埃文·丹尼,甘尼什·派:
安全案例组装的轻量级方法。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/HaugeS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/HaugeS12
安德烈·亚历山大森·豪格,凯蒂尔·斯特伦:
以核电生产为例的基于模式的安全控制系统方法。 13-24

第二部分：风险分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/CasalsOD12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/CasalsOD12
西尔维娅·吉尔·卡萨尔斯,菲利普·奥维萨斯基（Philippe Owezarski）,吉尔斯·德斯卡格斯:
适航安全风险评估。 25-36
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/LascheBP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/LascheBP12
克里斯托夫·莱舍,Eckard Böde公司,托马斯·佩肯坎普:
海上作业指导性危险识别和风险缓解方法。 37-48
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Schafer12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Schafer12
曼弗雷德·施费尔:
ASMONIA 4G网元风险分析与软件完整性保护。 49-61

第三部分：测试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Woskowski12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Woskowski12
克里斯托夫·沃斯科夫斯基:
将工业强度测试技术应用于重症监护医疗设备。 62-73
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/IzosimovIW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/IzosimovIW12
维亚切斯拉夫·伊佐西莫夫,乌尔班·英格尔森,安德烈亚斯·沃林:
安全关键汽车零部件开发中的需求分解和可测试性。 74-86
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/KrauseHMD12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/KauseHMD12
简·克劳斯,埃尔克·欣茨,斯蒂芬·马格纳斯,克里斯蒂安·迪德里奇:
安全现场总线配置文件的基于模型的规范、验证和测试生成。 87-98

第四部分：定量分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/EdiforWG12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/EdiforWG12
欧内斯特·爱迪福,马丁·沃克,尼尔·A·戈登:
时序故障树中优先级或门的量化。 99-110
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/GlassYRT12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/GlassYRT12
迈克尔·格拉,恒宇（Heng Yu）,费利克斯·雷曼,尤尔根·蒂奇:
嵌入式系统的跨层组合可靠性分析。 111-124

第五部分：安全

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/HoppeKKD12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/HoppeKKD12
托拜厄斯·霍普,斯文·库尔曼,斯特凡·基尔茨,贾娜·迪特曼:
基于汽车系统和通信数据的路线重建示例的IT-Forensic汽车调查。 125-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/BockBMS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/BockBMS12
汉斯·赫尔曼·博克,延斯·布拉班德,比吉特·米利乌斯,亨德里克·施贝:
铁路自动化安全相关通信的IT安全保护概要。 137-148
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/WieczorekKSE12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/WieczorekKSE12
费利克斯·维克佐雷克,克里斯托夫·克劳,弗兰克·席勒,克劳迪娅·埃克特:
走向安全的现场总线通信。 149-160
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/ZakonovS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/ZakonovS12
安德烈·扎科诺夫,安纳托利·沙利托:
为正式需求规范提取Web应用程序的EFSM。 161-172

第六部分：形式方法1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/BicchieraiBNV12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/BicchieraiBNV12
艾琳·比奇埃雷,贾科莫·布奇,卡洛·诺森蒂尼,恩里科·比卡里奥:
SW-FMEA系统化的本体论方法。 173-184
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/BaldoniLMMR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/BaldoniLMMR12
罗伯托·巴多尼,乔治娅·洛迪,卢卡·蒙塔纳里,吉多·马里奥塔,马尔科·里祖托:
任务关键型分布式系统的在线黑盒故障预测。 185-197
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/LeoASKJ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/LeoASKJ12
多梅尼科·迪利奥,法特梅赫·阿亚托拉希,贝罗斯·桑切利（Behrooz Sangchoolie）,约翰·卡尔森,罗杰·约翰逊:
关于硬件故障的影响——工作负载输入和故障模式分布之间关系的调查。 198-209

第七部分：航空

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/TarasyukPTLN12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/TarasyukPTLN12
安东·塔拉修克,Inna Pereverzeva酒店,埃琳娜·特劳比通娜,蒂莫·拉塔瓦拉,劳拉·努米拉:
可重构车载卫星系统的正式开发和评估。 210-222
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/HanniusK12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/HanniusK12
奥洛夫·汉尼乌斯,约翰·卡尔森:
喷气发动机控制器中软错误的影响。 223-234
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/PintardSB12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/PintardSB12
卢多维克·平塔尔,克里斯特尔·塞金,Jean-Paul Blanquart公司:
卫星FDIR的哪个安全评估步骤使用哪个自动机？ 235-246

第八部分：汽车

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/BergenhemJL12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/BergenhemJL12
卡尔·伯根汉姆,罗尔夫·约翰逊,亨利克·洛恩:
一种新的建模模式，用于在汽车环境中建立故障模型并协助架构探索。 247-257
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/SturmerSP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/SturmerSP12
英戈·施蒂尔默,埃尔克·萨勒克,哈特穆特·波赫海姆:
根据ISO 26262审查软件模型。 258-267
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/NovakS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/NovakS12
托马斯·诺瓦克,克里斯托夫·斯托格（Christoph Stoegerer）:
交通管理系统中安全相关致动器的软件体系结构。 268-278

第九部分：形式方法2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/HelleMG12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/HelleMG12
菲利普·海勒,迈克尔·马辛,列夫·格林伯格:
架构优化的近似可靠性代数。 279-290
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/GuntherMM12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/GuntherMM12
亨宁·昆瑟（Henning Günther）,斯特凡·米利乌斯,奥利弗·默勒:
关于同步软件组件系统的形式化验证。 291-304

第X部分：过程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/AyoubKLS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/AyoubKLS12
阿纳希德·阿尤布,BaekGyu Kim（白居金）,因苏普·李,奥列格·索科尔斯基:
证明软件安全论证充分可信的系统方法。 305-316
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/WildmoserPS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/WildmoserPS12
马丁·威尔莫瑟,简·菲利普斯,奥斯卡·斯洛托什:
确定刀具链中的潜在误差-根据ISO 26262达到刀具置信度的策略。 317-327
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/ZimmerBHTL12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/ZimmerBHTL12
巴斯蒂安·齐默尔,苏珊·比尔克伦,延斯·霍夫林格,马里奥·特拉普,彼得·利格斯迈耶:
开放式集成体系结构中以安全为中心的部署优化。 328-339
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/AsplundET12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/AsplundET12
弗雷德里克·阿斯普伦德,贾德·埃尔库里,马丁·特伦格伦:
鉴定软件工具，一种系统方法。 340-351

第十一部分：案例研究

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/BragaJBNL12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/BragaJBNL12
罗莎娜·T·瓦卡·布拉加,奥诺弗雷·特林达德·朱尼尔,卡林卡·里贾纳·卢卡斯·贾奎·卡斯特罗·布兰科,卢西亚诺·德·奥利维拉·内利斯,Jaejoon Lee（李在雄）:
调整软件产品线工程过程以认证安全关键嵌入式系统。 352-363
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/SujanF12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/SujanF12
Mark-Alexander Sujan公司,马西莫·费利奇:
在医疗环境中结合故障模式和功能共振分析。 364-375
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/SongZZ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/SongZZ12
田松,钟德明,杭忠:
中国-永文铁路事故的STAMP分析。 376-387
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/LandAC12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/LandAC12
Rikard Land公司,米凯尔·奥·科霍姆,官卡尔松:
安全关键系统中有效的软件组件重用——一项实证研究。 388-399

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。