停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2014年第四届IMBSA：德国慕尼黑

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/2014
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/2014
弗兰克·奥特米耶,安托万·劳齐:
基于模型的安全与评估——第四届国际研讨会，2014年10月27日至29日，德国慕尼黑，IMBSA。诉讼程序。计算机科学课堂讲稿8822中，施普林格 2014，国际标准图书编号978-3-319-12213-7

建模范例

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/LiD14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/LiD14
李少军,苏多:
使用Altarica的实用MBSA建模过程。 1-13
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/NykolaychukLLO14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/NykolaychukLLO14
Mykhaylo Nykolaychuk公司,迈克尔·利帕切夫斯基,蒂诺·利布施,弗兰克·奥特米耶:
关于有效指定模型以进行模型检查。 14-27
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/IssadKR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/IssadKR14
梅丽莎·伊萨德,勒拉克鲁尔,安托万·劳齐:
铁路系统规范形式化的基于模型的方法。 28-42

验证和测试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/威尔金森BC14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/WilkinsonBC14
杜比·威尔金森,迈克尔·巴特勒,约翰·科利:
安全关键系统需求驱动测试生成的系统方法。 43-56
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/Morel14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/Morel14
马里恩·莫雷尔:
集成和模块化航空电子体系结构早期验证的基于模型的安全方法。 57-69
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/Azevedo0PWSA14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/Azevedo0PWSA14
路易斯·席尔瓦·阿齐夫多,大卫·帕克,伊安妮斯·帕帕佐普洛斯,马丁·沃克,伊安妮斯·索洛科斯,鲁伊·埃斯特夫斯·阿劳霍:
探索不同成本启发在安全完整性等级分配中的影响。 70至81

故障检测和处理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/BittnerBCFGGY14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/BittnerBCFGGY14
本杰明·比特纳,马尔科·博扎诺,亚历山德罗·西马蒂,雷吉斯·德·费卢克,马可·加里奥,安德烈亚·吉奥托,尤里·尤什廷:
航空航天中FDIR设计的集成过程。 82-95
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/KabirWP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/KabirWP14
索哈格·卡比尔,马丁·沃克,伊安妮斯·帕帕佐普洛斯:
通过将时序故障树转换为贝叶斯网络进行动态系统可靠性分析。 96-109
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/HofigZG14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/HofigZG14
凯·霍菲格,马克·泽勒,拉尔斯·格伦斯克:
metaFMEA-A可重用FMEA框架。 110-122

汽车领域的安全评估

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/CherfiRL14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/CherfiRL14
亚伯拉罕·切尔菲,安托万·劳齐,米歇尔·利曼:
基于AltaRica 3的ISO 26262汽车安全机制模型。 123-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/KhalilPH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/KhalilPH14
玛格德·哈利勒,亚历杭德罗·普列托,弗洛里安·霍尔兹尔:
一种基于模式的汽车领域安全机制引导重用方法。 137-151
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/SchmidhuberDMNM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/SchmidhuberDMNM14
斯特凡·施密杜贝尔,迈克尔·德布泽,拉尔夫·马德,迈克尔·尼梅茨,尤尔根·莫托克:
推导在多核处理器上部署实时任务的指南。 152-165

案例研究

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/FrtunikjRAK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/FrtunikjRAK14
杰琳娜·弗图尼克,弗拉基米尔·鲁帕诺夫,迈克尔·阿姆布鲁斯特,阿洛伊斯·克诺尔:
自动车辆的自适应误差和传感器管理：基于模型的方法和运行时系统。 166-180
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/MortadaPR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/MatadaPR14
哈拉·莫塔达,塔蒂亚娜·普罗斯维诺娃,安托万·劳齐:
AltaRica 3.0电气系统的安全评估。 181-194
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/GhomaB14公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/GhomaB14网址
穆罕默德·雷扎·戈拉米,哈尼法·布切内布:
将形式化方法应用于安全关键型健康应用程序。 195-208

服务

管理网站设置

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