停止战争！

Осрановиревойну！

对于科学家：

默认搜索操作

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

问别人

2017年第五届IMBSA：意大利特伦托

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

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/2017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/2017
马可·波扎诺，伊安妮斯·帕帕佐普洛斯:
基于模型的安全与评估——第五届国际研讨会，2017年IMBSA，意大利特伦托，2017年9月11-13日，会议记录。计算机科学课堂讲稿10437,施普林格 2017，国际标准图书编号978-3-319-64118-8

安全流程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/FilaxGO17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/FilaxGO17
马可·菲拉克斯，蒂姆·冈索雷克，弗兰克·奥特米耶:
构建我们可以依赖的模型：基于模型的验证技术的需求跟踪。 3-18
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/inbsa/ProsvirnovaSSV17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/ProsvirnovaSSV17
塔蒂亚娜·普罗斯维诺娃，埃斯特尔·塞兹，克里斯特尔·塞金，皮埃尔·维雷利泽:
处理安全和系统模型之间的一致性。 19-34
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/LegendreLR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/LegendreLR17
安东尼·勒让德，阿格尼斯·拉努斯，安托万·劳齐:
工业环境中安全分析和系统架构设计之间的模型同步。 35-49
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/RetouniotisPSPM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/RetouniotisPSPM17
阿萨纳西奥斯视网膜炎，伊安妮斯·帕帕佐普洛斯，伊安妮斯·索洛科斯，大卫·帕克，尼古拉斯·马特拉卡斯，Septavera Sharvia公司:
模型关联安全案例。 50-63

安全模型和语言

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/BrunelFHLPSW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/BrunelFHLPSW17
朱利安·布鲁内尔，彼得·菲勒，杰尔·雨果斯，布鲁斯·刘易斯，塔蒂亚娜·普罗斯维诺娃，克里斯特尔·塞金，卢兹·沃奇:
与AADL和AltaRica进行安全分析。 67-81
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/BennaceurKR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/BennaceurKR17
瓦利德·莫赫塔尔·本纳泽尔，勒拉克鲁尔，安托万·劳齐:
使用生产树对数据中心电气系统进行安全分析。 82至96
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/inbsa/StewartWCH17会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/StewartWCH17
丹妮尔·斯图尔特，迈克尔·沃伦，达伦·D·科弗，艾瑞克·海姆达尔的垫子:
安全工程的建筑建模与分析。 97-111
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/inbsa/巴纳赫17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/Banach网址17
理查德·巴纳赫:
出现故障时的不变管理。 112-128
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/MontecchiG17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/MontecchiG17
莱昂纳多·蒙泰奇，芭芭拉·加利纳:
SafeConcert：社会技术系统协调安全建模的元模型。 129-144

故障检测和传播

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/AlboreDISV17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/AlboreDISV17
亚历山大·阿尔博尔，西尔瓦诺·达尔·齐利奥，纪尧姆婴儿，克里斯特尔·塞金，皮埃尔·维雷利泽:
用AltaRica分析时间失效传播的模型检验方法。 147-162
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/KabirPWPALR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/KabirPWPALR17
索哈格·卡比尔，伊安妮斯·帕帕佐普洛斯，马丁·沃克，大卫·帕克，何塞·伊格纳西奥·艾兹普鲁阿，约格·兰普，埃里希·吕德:
基于模型的HiP-HOPS扩展，用于动态故障传播研究。 163-178
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/inbsa/大麻
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/CanarileCZ17
弗朗西斯科·卡纳里尔，Michele比较，恩里科·齐奥:
基于第一原理模型模拟器的故障诊断工具。 179-193

汽车领域的安全评估

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/KhosrowjerdiMR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/KhosrowjerdiMR17
霍贾特·科斯洛夫杰尔迪，卡尔·梅恩克，安德烈亚斯·拉斯穆森:
安全关键型汽车应用的基于学习的测试。 197-211
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/ReiterZHVBR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/RiterZHVBR17
塞巴斯蒂安·雷特，马克·泽勒，凯·霍菲格，亚历山大·维尔，奥利弗·布林曼，沃尔夫冈·罗森斯蒂尔:
使用误差影响模拟验证组件故障树。第212页至第226页
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/ChenL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/ChenL17
陈德九，中海路:
基于模型的网络物理系统自动性能和安全意识动态自我评估方法。 227-240

案例研究

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/FerranteGSF17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/FerranteGSF17
奥兰多·费兰特，路易吉·迪·古列尔莫，瓦莱里奥·塞尼，阿尔贝托·费拉里:
基于模型的安全评估在航空电子电源系统验证中的应用。 243-254
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/BittnerBC17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/BittnerBC17
本杰明·比特纳，马可·波扎诺，亚历山德罗·西马蒂:
航天器工程的时间失效传播分析：ESA太阳轨道器案例研究。 255-271

服务

管理网站设置

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