搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场地搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
2022 库罗什·阿斯兰塞法特 , 帕纳吉奥塔·尼古劳 , 马丁·沃克 , 穆罕默德·纳维德·阿克兰 , 伊安妮斯·索洛科斯 , Jan Reich公司 , Panayiotis Kolios公司 , 玛丽亚·K·迈克尔 , 西奥查里斯西奥查里斯 , 乔治·埃利纳斯 , 丹尼尔·施奈德 , 伊安妮斯·帕帕佐普洛斯 :
SafeDrones:使用可执行数字可靠标识对无人机进行实时可靠性评估。 IMBSA公司 2022 : 252-266 米歇尔·巴托克斯 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·劳齐 :
AltaRica 3.0海上风力发电场性能评估。 IMBSA公司 2022 : 130-145 阿尔贝托·邦巴德利 , 马可·波扎诺 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 马西莫·纳扎里亚 , 埃多亚多·尼科洛迪 , 斯特凡诺·托内塔 :
COMPASTA:通过正式设计和验证功能扩展TAST。 IMBSA公司 2022 : 21-27 纪尧姆·布朗 , 埃里克·杰恩 , 西尔瓦娜·拉杜 :
基于Capella的纳米/微型卫星可用性早期评估工具。 IMBSA公司 2022 : 155-169 卢卡斯·布莱桑 , 安德烈·路易斯·德·奥利维拉 , 费尔南达·C·A·坎波斯 , 莱昂纳多·蒙泰奇 , 拉斐尔·卡皮拉 , 大卫·帕克 , 库罗什·阿斯兰塞法特 , 伊安妮斯·帕帕佐普洛斯 :
使用状态机图对系统安全分析的可变性进行建模。 IMBSA公司 2022 : 43-59 盛鼎 , 斯坎德·阿尤布 , 安德烈·莫罗佐夫 :
工具文件:用于MATLAB Simulink的时间序列异常检测平台。 IMBSA公司 2022 : 204-218 阿尔哈里斯·法哈德 , 伊安妮斯·索洛科斯 , 安德烈亚斯·施密特 , 穆罕默德·纳维德·阿克兰 , 库罗什·阿斯兰塞法特 , 丹尼尔·施奈德 :
保持距离:在机器学习监控中确定采样和距离阈值。 IMBSA公司 2022 : 219-234 克里斯托夫·弗拉扎 , 皮埃尔·达斐尔 , 让·高瑟 :
航空MBSA:支持安全活动的方法。 IMBSA公司 2022 : 31-42 丹尼尔·希伦 , 汤姆·菲利普·哈克 , Nishanth Laxman公司 , 克里斯托夫·莱德曼 , Jan Reich公司 , 帕特里克·施洛瑟 , 安德烈亚斯·施密特 , 丹尼尔·施奈德 , 丹尼斯·尤克 :
即插即用。。。 安全!- 可重构工业4.0的端到端基于模型的安全保证。 IMBSA公司 2022 : 83-97 伯恩哈德·凯泽 , 伯纳德·迪翁 , 伊利亚·托尔钦斯基 , 蒂埃里·勒·塞根 , 马克斯·纳约克 :
集成安全分析和仿真的基于模型的系统设计的AEBS用例。 IMBSA公司 2022 : 3-20 安东尼·勒让德 , 罗兰·多纳特 :
基于模型的安全分析在地铁自动线新车辆全球操作系统设计中的实际应用。 IMBSA公司 2022 : 68-82 罗伯特·迈尔 , 丽莎·格拉宾格 , 大卫·乌尔哈特 , 尤尔根·莫托克 :
汽车系统安全中基于因果模型的工程。 IMBSA公司 2022 : 116-129 伯蒂勒·诺伊塞特 , 塞巴斯蒂安·多波尔 , 劳伦·蒙蒂尔 :
基于模型的安全分析:实践经验。 IMBSA公司 2022 : 60-67 埃桑·普尔哈迪 , 埃琳娜·特鲁比西纳 , 吉尔吉斯·达恩 :
使用SysML和Event-B分析安全攻击对安全的影响。 IMBSA公司 2022 : 170-185 塔蒂亚娜·普罗斯维诺娃 , 克里斯特尔·塞金 , 克里斯托夫·弗拉扎 , 米歇尔·巴托克斯 , 泽维尔·德·博索雷耶 , 弗雷德里克·德尚 , 让·高瑟 , 埃斯特尔·塞兹 :
用AltaRica模拟动态系统中故障传播的策略。 IMBSA公司 2022 : 101-115 Jan Reich公司 , 帕斯卡·格贝尔 , Nishanth Laxman公司 , 丹尼尔·施奈德 , 绪方武彦 , 大冢佐治 , 石谷佐木 :
构建动态风险和能力模型,以提高共享空间中人类工作者和自主移动机器人之间的合作效率。 IMBSA公司 2022 : 237-251 康纳·沃克 , Callum Rothon公司 , 库罗什·阿斯兰塞法特 , 伊安妮斯·帕帕佐普洛斯 , 尼娜·德特利夫斯 :
使用警报序列和长短期记忆算法预测风力涡轮机维修行动的深度学习框架。 IMBSA公司 2022 : 189-203 马克·泽勒 :
部件故障和缺陷树(CFDT):结合功能安全和SOTIF分析。 IMBSA公司 2022 : 146-152 克里斯特尔·塞金 , 马克·泽勒 , 塔蒂亚娜·普罗斯维诺娃 :
基于模型的安全与评估——第八届国际研讨会,IMBSA 2022,德国慕尼黑,2022年9月5-7日,会议记录。 计算机科学课堂讲稿 13525, 施普林格 2022 ,国际标准图书编号 978-3-031-15841-4 [目录]