Online hazard prediction of train operations with parametric hybrid automata based runtime verification

求助中

文献求助详情

标题	Online hazard prediction of train operations with parametric hybrid automata based runtime verification
网址	http://dx.doi.org/10.1016/j.ress.2023.109621
DOI	10.1016/j.ress.2023.109621 doi
其它	期刊：Reliability Engineering & System Safety 作者：Ming Chai; Xinyi Zhang; Bernd-Holger Schlingloff; Tao Tang; Hongjie Liu 出版日期：2024-01-01
求助人	mirror 在 2026-09-17 15:05:09 发布自中国，悬赏 10 积分
下载	暂无链接，等待应助者上传

上个求助

下个求助

提交工单

求助 / 应助时间线

现在，等待您上传文献

对不起，您需要登录才可以上传文件。
进入登录页面
1天前

科研通AI2.0 机器人未找到该文献，机器人已退出，请等待人工下载

15:05:15 未找到该文献，机器人已退出，请等待人工下载

15:05:12 科研通AI机器人（英国伦敦）收到请求，开始寻找文献

15:05:10 已向机器人发送请求
1天前

mirror Lv1 求助人发起了本次求助

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

⚡ 2026年影响因子、分区 已更新！ (2026-6-17)

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 缺水哥完成签到，获得积分10

3秒前; 雪山飞龙完成签到，获得积分10

5秒前; 超级的冷菱完成签到，获得积分10

5秒前; gszy1975发布了新的文献求助10

9秒前; zzz完成签到，获得积分10

10秒前; 司衡完成签到，获得积分10

14秒前; 笔墨纸砚完成签到，获得积分10

26秒前; 瘦瘦不乐完成签到，获得积分10

28秒前; 大方舞蹈完成签到，获得积分10

29秒前; 科研通AI6.4的应助被weitao0916采纳，获得10

30秒前; wujiwuhui完成签到，获得积分10

31秒前; pangcheng完成签到，获得积分10

34秒前; 科研通AI6.4的应助被Bruce采纳，获得10

53秒前; 酷波er的应助被alandan采纳，获得30

56秒前; 搜集达人的应助被yueyueyahoo采纳，获得10

59秒前; 科研通AI6.4上传了应助文件

1分钟前; 合不着完成签到，获得积分10

1分钟前; Bruce发布了新的文献求助10

1分钟前; 廖道罡完成签到，获得积分10

1分钟前; SMG完成签到，获得积分10

1分钟前; 要减肥青曼完成签到，获得积分10

1分钟前; 乖咪甜球球完成签到，获得积分10

1分钟前; 裴q完成签到，获得积分10

1分钟前; 神一样的鸟完成签到，获得积分10

1分钟前; 馨妈完成签到，获得积分10

1分钟前; 淡淡的怜翠完成签到，获得积分10

2分钟前; Dominic完成签到，获得积分20

2分钟前; 慕青上传了应助文件

2分钟前; pups发布了新的文献求助10

2分钟前; 舒适荟完成签到，获得积分10

2分钟前; GingerF的应助被pups采纳，获得80

2分钟前; 科研通AI6.2的应助被Bruce采纳，获得10

3分钟前; 美丽心情完成签到，获得积分10

3分钟前; 干净的中心完成签到，获得积分10

3分钟前; 杏酱完成签到，获得积分10

3分钟前; 林好人完成签到，获得积分10

3分钟前; 不想起床完成签到，获得积分10

3分钟前; Arthur完成签到，获得积分10

3分钟前; 张金希完成签到，获得积分10

3分钟前; 欣喜烙完成签到，获得积分10

4分钟前