停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

第28届SAFECOMP 2009：德国汉堡

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/2009
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/2009
贝蒂娜·布斯,格德·拉贝,直到Seyfarth:
计算机安全、可靠性和安全，第28届国际会议，2009年9月15日至18日，德国汉堡，SAFECOMP 2009。诉讼程序。计算机科学课堂讲稿5775,施普林格 2009，国际标准图书编号978-3-642-04467-0

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Haxthausen09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Haxthausen09
安妮·E·哈克斯豪森:
铁路控制系统自动构建和验证的领域特定框架。 1-3

医疗系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Becker09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Becker09
乌韦·贝克尔:
基于模型的医疗器械开发。 4-17
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/AlberdiSPA09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/AlberdSAP09
尤金尼奥·阿尔贝迪,洛伦佐·斯特里吉尼,安德烈·波维亚卡洛,彼得·艾顿:
为什么有了计算机支持，人们的决策有时会变得更糟糕？。 18月31日

行业经验

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/BitschFG09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/BitschFG09
弗里德曼·比施,乌尔里希·费希特,休·高夫:
安全相关应用条件-安全相关性和应用障碍之间的平衡。 32-45
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/BrabandHS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/BrabandHS09
延斯·布拉班德,吕迪格·沃姆·霍维尔,亨德里克·施贝:
按需失效概率-原因和方法。 46岁至54岁
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/SimensenGGMM09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/SimensenGGMM09
约翰·艾达尔·西蒙森,克里斯蒂安·格斯特,比约恩·阿克塞尔·格兰,约瑟夫·梅兹,霍斯特·米德尔:
建立软件数字仪控系统复杂性和可靠性指标之间的相关性。 55至66

安全风险分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/AkerbergB09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/AkerbergB09
约翰·科尔伯格,Mats Björkman公司:
探索PROFIsafe中的网络安全。 67-80
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/FioritiRCPT09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/FioritiRCPT09
文森佐·菲奥里蒂,西尔维娅·鲁赞特,伊丽莎·卡斯托里尼,安东尼奥·迪·彼得罗,阿尔贝托·托法尼:
使用模拟退火算法对缺乏数据的关键基础设施进行建模。 81-88
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Vache09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Vache09
杰拉尔丁·瓦奇:
安全定量评估的环境特征和系统建模方法。 89-102

安全指南

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/BilichH09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/BilichH09
卡洛斯·比利奇,胡再军:
根据IEC 61508认证通用功能安全管理结构的经验。 103-117
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/HuhnZ09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/HuhnZ09
迈克拉·胡恩,阿克塞尔·泽切纳:
使用质量模型分析可靠性案例论证。 118-131
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/HuB09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/HuB09
胡再军,卡洛斯·比利奇:
在ABB内部建立可重复使用和可认证安全生命周期模型的经验。 132-144

汽车

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/HoppeKD09文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/HoppeKD09
托拜厄斯·霍普,斯特凡·基尔茨,贾娜·迪特曼:
作为挑战的汽车IT安全：从黑盒角度对隐私威胁示例的基本攻击。 145-158
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/GruberAS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/GruberAS09
古路伯,Egbert Althammer公司,埃尔文·肖奇:
合作交通管理系统的安全要求：人机界面的观点。 159-172

航空航天

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/BuzzanoCKNNR09公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/BuzzanoCKNNR09
马尔科·博扎诺,亚历山德罗·西马蒂,Joost-Pieter Katoen公司,越南元,托马斯·诺尔,马可·罗维里:
COMPASS方法：航空航天系统的正确性、建模和性能。 173-186
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/BaumannBBB09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/BaumannBBB09
克里斯托夫·鲍曼,伯恩哈德·贝克特,霍尔格·布拉苏姆,托尔斯滕·博默:
可靠软件系统中使用的微内核的形式验证。 187-200
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/ButkaZK09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/ButkaZK09
布赖恩·布特卡,贾努斯·扎勒夫斯基,安德鲁·科尔内基:
安全关键硬件的工具鉴定问题：正式方法可以和不能做什么。 201-214

验证、确认、测试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/GePM09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/GePM09
小城阁,理查德·佩奇,约翰·麦克德米德:
概率失效传播和转换分析。 215-228
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/ZulkernineRU09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/ZulkernineRU09
穆罕默德·祖尔克宁,穆罕默德·费罗兹·莱汉,穆罕默德·贾斯·乌丁:
攻击场景的基于模型的自动测试。 229-242
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/AasJS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/AasJS09
安德烈亚斯·伦贝·阿斯,斯蒂格·奥勒·约翰逊,托比约恩·斯克拉姆斯塔德:
CRIOP：在工业环境中工作的人为因素验证和确认方法。 243-256

容错性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/FazaSM09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/FazaSM09
艾曼·Z·法扎,萨赫拉·塞迪格,布鲁斯·麦克米林:
先进电网的可靠性分析：从网络控制和通信到故障的物理表现。 257-269
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/SteffenSBD09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/SteffenSBD09
托马斯·斯特芬,弗兰克·席勒,迈克·布鲁姆,罗杰·迪克森:
通过使用串联和并联元件提高高冗余执行机构的可靠性。 270-282
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/FetzerSS09文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/FetzerSS09
克里斯托夫·费泽尔,尤特·希菲尔,马丁·苏德:
AN-Encode编译器：使用商品硬件构建安全关键系统。 283-296

可靠性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/DomisT09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/DomisT09
多米尼克·多米斯,马里奥陷阱:
故障树分析中基于组件的抽象。 297-310
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/HateburH09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/HateburH09
丹尼斯·哈特布尔,玛丽塔·海塞尔:
可靠软件需求分析的基础。 311-325
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/KurdKMCK09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/KurdKMCK09
泽珊·库尔德,蒂姆·凯利,约翰·麦克德米德,Radu Calinescu公司,Marta Z.Kwiatkowska公司:
建立“智能”航空发动机控制中的动态风险管理框架。 326-341

服务

管理网站设置

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