停止战争！

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

对于科学家：

默认搜索操作

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

问别人

RSS邮箱2023：德国柏林

>主页 >会议和研讨会 >RSS邮件

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rssrail/2023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rssrail/2023
比尔吉特米利乌斯,Simon Collart职责,蒂埃里·勒科姆:
铁路系统的可靠性、安全性和安全性。建模、分析、验证和认证——第五届国际会议，2023年10月10日至12日，德国柏林，RSSRail 2023，会议记录。计算机科学课堂讲稿14198,施普林格 2023，国际标准图书编号978-3-031-43365-8

安全建模

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rssrail/PoorhadiT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rssrail/PoorhadiT23网址
埃桑·普尔哈迪,埃琳娜·特鲁比西纳:
铁路系统安全保障相互作用的自动化分析。 3-21
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rssrail/FakheredineZM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rssrail/FakheredineZM23网址
阿明·法赫雷雷丁,穆罕默德·祖尔克宁,丹·默多克:
TrainSec：CBTC网络安全建模和评估的仿真框架。 22-39

工具化方法和高度自动化运输系统的可靠性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rssrail/TangZKW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rssrail/TangZKW23
紫月汤,Ning Zhao（赵宁）,哈立德·汗,卡廷卡·沃尔特:
基于ETCS的列车自动运行安全性分析。 43-61
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rssrail/Beqiri公司BPC23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rssrail/BeqiriBPC23
洛迪亚娜·贝奇里,Zeinab Bakhshi公司,萨西库马尔·蓬内卡特,安东尼奥·西切蒂:
使用机器学习的铁路齿轮箱轴承剩余使用寿命估计。 62-77
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rssrail/WildBEM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rssrail/WildBEM23网址
迈克尔·怀尔德,简·斯特芬·贝克尔,Günter Ehmen先生,艾克·莫尔曼:
走向高度自动化铁路系统的基于场景的认证。 78-97
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rssrail/MasettiGC23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rssrail/MasettiGC23
朱利奥·马塞蒂,费利西塔·迪·詹多梅尼科,西尔瓦诺·齐亚拉多纳:
意大利铁路信号系统不间断电源架构的可靠性分析。 98-114

安全评估的形式化方法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rssrail/IliasovTLR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rssrail/IliasovTLR23
阿列克谢·伊利亚索夫,多米尼克·泰勒,利纳斯·莱比尼斯,亚历山大·罗曼诺夫斯基:
SafeCap轨迹：工业驱动的联锁验证工具改进。 117-127
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rssrail/GruteserGLRV23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rssrail/GruteserGLRV23
简·格鲁特斯,大卫·盖尔,迈克尔·勒谢尔,简·罗·巴赫,费边·武（Fabian Vu）:
基于人工智能障碍检测的列车控制形式化模型。 128-145
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rsrail/HaxthausenFGMP23文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rssrail/HaxthausenFGMP23
安妮·E·哈克斯豪森,亚历山德罗·范泰奇,格洛丽亚·戈里,奥斯利·卡拉森·米克尔森,索菲·阿玛莉·彼得森:
联锁系统的自动组成验证。 146-164
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rssrail/HalchinSBFFL23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rssrail/HalchinSBFFL23
亚历山德拉·哈尔钦,阿贾·恩代伊·西拉,莎拉·本雅古布,阿卜杜拉赫曼·费利亚奇,尤安·丰特瑙,斯文·莱格尔:
整体形式证明：一种跨越铁路系统中系统级和软件级之间差距的验证方法。 165-177
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rsrail/ZickertS23文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rssrail/ZickertS23
古斯塔夫·齐克特,Nikitas Stathatos公司:
铁路控制系统的中途通用验证。 178-189

形式化模型与可视化工具

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rssrail/LeuschelN23型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rssrail/LeuschelN23
迈克尔·勒谢尔,内德·内耶里:
ETCS 3级移动闭塞系统的建模、可视化和验证。 193-210
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rssrail/BanerjeeCLLRSW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rssrail/BanerjeeCLLRSW23
马杜斯里·班纳吉,维克多·蔡,苏妮莎·拉克什马纳帕,安德鲁·劳伦斯,马库斯·罗根巴赫,莫妮卡·塞森伯格,托马斯·沃纳:
地理方案数据验证的工具链。 211-224

服务

管理网站设置

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