发布文献求助
待确认
  • 文献求助详情
标题
Validation process for railway interlocking systems
铁路联锁系统的验证过程
相关领域
联锁 计算机科学 火车 过程（计算） 可靠性工程 任务（项目管理） 领域（数学分析） 系统工程 程序设计语言 数学 地图学 工程类 数学分析 地理
网址
https://doi.org/10.1016/j.scico.2016.04.004
AI链接 handle.net unifi.itdoi.org
DOI
10.1016/j.scico.2016.04.004 doi
其它 期刊：Science of Computer Programming
作者：Andrea Bonacchi; Alessandro Fantechi; Stefano Bacherini; Matteo Tempestini
出版日期：2016-05-02
求助人
乐乐乐乐乐乐 在 2025-04-24 10:42:11 发布自安徽，悬赏 10 积分
下载
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
相关文献
  1. The Past, Present and Future of Railway Interlocking System
  2. Automated Generation of Safety Requirements from Railway Interlocking Tables
  3. Study on Interlocking System in Indonesia
  4. Design of interlocking program on graph theory
  5. Design of Interlocking Program on Graph Theory
  6. Mechanical Calculation and Analysis of Laying of Small Interlocking Blocks
  7. Computer Interlocking Simulation System Based on Artificial Intelligence Web
  8. Formal Development of Software to Design of a Railway Interlocking Table for an Electronic Interlock...
  9. An Algorithm to Generate a Railway Interlocking Table
  10. DEVELOPMENT OF SOPHISTICATED INTERLOCKING SYSTEM
　...点击展开更多...　
求助 / 应助时间线

  • 请等待求助人确认

    已经有人上传了文献，该状态下其他人无法上传，请等待求助人确认该文件是否是他需要的。
    如果求助人在 48 小时内还未确认，系统默认应助成功，本求助将自动关闭。

  • 1小时前

    科研通AI5 科研通AI5 机器人Lv12 上传了文件

    待审核 bonacchi2016.pdf (1.79 MB)

  • 1小时前

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

    10:42:16 未找到该文献，机器人已退出，请等待人工下载
    10:42:13 科研通AI机器人（北京）收到请求，开始寻找文献
    10:42:11 已向机器人发送请求

  • 1小时前

    乐乐乐乐乐乐 乐乐乐乐乐乐 Lv563 求助人 发起了本次求助

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
huahero2025的应助被科研通管家采纳，获得10
2秒前
Hello的应助被科研通管家采纳，获得10
2秒前
实验好难的应助被科研通管家采纳，获得10
2秒前
sheep发布了新的文献求助10
2秒前
NexusExplorer的应助被科研通管家采纳，获得10
2秒前
nozero的应助被科研通管家采纳，获得30
2秒前
华仔的应助被科研通管家采纳，获得10
2秒前
bewh的应助被科研通管家采纳，获得10
2秒前
英俊的铭的应助被科研通管家采纳，获得10
2秒前
Owen的应助被科研通管家采纳，获得10
2秒前
小橙完成签到 ，获得积分10
2秒前
secbox完成签到，获得积分10
3秒前
的地方法规完成签到，获得积分10
3秒前
星辰大海的应助被想多睡会儿采纳，获得10
5秒前
行者完成签到，获得积分10
5秒前
balelalala完成签到，获得积分10
6秒前
Mencanta完成签到，获得积分10
6秒前
野性的小懒虫完成签到，获得积分10
6秒前
8秒前
11秒前
科研通AI5的应助被阿豪闹闹采纳，获得10
11秒前
11秒前
所所的应助被侯焱采纳，获得10
11秒前
wanci的应助被Dawn采纳，获得10
12秒前
语秋完成签到，获得积分10
13秒前
SciGPT的应助被butiflow采纳，获得10
14秒前
悦耳如柏发布了新的文献求助10
17秒前
olive完成签到，获得积分10
17秒前
waws完成签到，获得积分10
19秒前
鼠鼠完成签到 ，获得积分10
20秒前
21秒前
22秒前
22秒前
天真的大象完成签到，获得积分10
22秒前
24秒前
daydayup完成签到，获得积分10
26秒前
26秒前
27秒前
27秒前
butiflow发布了新的文献求助10
27秒前
高分求助中
【此为提示信息，请勿应助】请按要求发布求助，避免被关 20000
Production Logging: Theoretical and Interpretive Elements 3000
CRC Handbook of Chemistry and Physics 104th edition 1000
Density Functional Theory: A Practical Introduction, 2nd Edition 840
J'AI COMBATTU POUR MAO // ANNA WANG 660
Izeltabart tapatansine - AdisInsight 600
Gay and Lesbian Asia 500
热门求助领域 （近24小时）
化学 材料科学 医学 生物 工程类 有机化学 物理 生物化学 纳米技术 计算机科学 化学工程 内科学 复合材料 物理化学 电极 遗传学 量子力学 基因 冶金 催化作用
热门帖子
关注 科研通微信公众号，转发送积分 3755011
求助须知：如何正确求助？哪些是违规求助？ 3298314
关于积分的说明 10104397
捐赠科研通 3012905
什么是DOI，文献DOI怎么找？ 1654832
邀请新用户注册赠送积分活动 789194
科研通“疑难数据库（出版商）”最低求助积分说明 753214
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通