发布文献求助
已关闭
  • 文献求助详情
标题
Towards the safety properties of moving block railway interlocking system
论动块式铁路联锁系统的安全特性
相关领域
联锁 计算机科学 块（置换群论） 机械工程 几何学 数学 工程类
网址
求助人暂未提供
DOI
暂未提供，该求助的时间将会延长，查看原因？
其它 期刊：
作者：Nazir Ahmad Zafar; Sher Afzal Khan; Keijiro Araki
出版日期：2012-08-01
求助人
mirror 在 2025-08-04 16:25:07 发布自中国，悬赏 10 积分
下载
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
提交工单
相关文献
  1. Intelligent traffic monitoring and guidance system for smart city
  2. Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sens...
  3. Formal verification and validation of a movement control actor relocation algorithm for safety–crit...
  4. A survey of security and privacy issues in IoT for smart cities
  5. Formal Specification and Validation of a Localized Algorithm for Segregation of Critical/Noncritical...
  6. Implementing Partitioning Detection and Connectivity Restoration in WSAN Using VDM-SL
  7. Formal modeling and algorithm of subnet-based backup assigning in WSAN
  8. Petri net modeling of railway crossing system using fuzzy brakes
  9. Formal analysis of departure procedure of air traffic control system
  10. Modeling and Formal Specification of Automated Train Control System using Z Notation
  11. Formal localized reactive subnet-based failure recovery model for sparsely connected wireless sensor...
　...点击展开更多...　
求助 / 应助时间线

  • 2小时前，求助关闭

    mirror mirror Lv11 求助人 关闭了本次求助。

    说明 找到了【积分已退回】

  • 2小时前

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

    16:25:12 未找到该文献，机器人已退出，请等待人工下载
    16:25:08 科研通AI机器人（日本 东京）收到请求，开始寻找文献
    16:25:07 已向机器人发送请求

  • 2小时前

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

更新
PDF的下载单位、IP信息已删除 (2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
香酥板栗完成签到，获得积分10
1秒前
冰棒比冰冰完成签到 ，获得积分10
2秒前
大个的应助被嚭嚭采纳，获得10
3秒前
xu关闭了xu的文献求助
4秒前
5秒前
珠0226完成签到 ，获得积分10
7秒前
10秒前
10秒前
共享精神的应助被33采纳，获得10
12秒前
12秒前
顾矜的应助被嚭嚭采纳，获得10
12秒前
慕青的应助被小小娜采纳，获得10
13秒前
小蘑菇的应助被科研通管家采纳，获得10
13秒前
13秒前
桐桐的应助被科研通管家采纳，获得10
13秒前
小马甲的应助被科研通管家采纳，获得10
13秒前
13秒前
科研通AI2S的应助被科研通管家采纳，获得10
13秒前
桐桐的应助被科研通管家采纳，获得10
13秒前
Hello的应助被科研通管家采纳，获得10
14秒前
14秒前
LiMX关注了科研通微信公众号
14秒前
BAI_1发布了新的文献求助30
15秒前
15秒前
empty的应助被啥都不会采纳，获得10
16秒前
置啬夫完成签到，获得积分10
16秒前
嘿咻发布了新的文献求助10
16秒前
xiaoyan发布了新的文献求助10
17秒前
所所的应助被嚭嚭采纳，获得10
18秒前
18秒前
Owen的应助被虚拟的惜筠采纳，获得10
18秒前
20秒前
Jasper的应助被狂野的驳采纳，获得10
20秒前
21秒前
zx发布了新的文献求助30
23秒前
奥奥没有利饼干完成签到 ，获得积分10
24秒前
量子星尘发布了新的文献求助10
24秒前
24秒前
细心的梦芝完成签到，获得积分10
24秒前
25秒前
高分求助中
(禁止应助)【重要！！请各位详细阅读】【科研通的精品贴汇总】 10000
Diagnostic Imaging: Pediatric Neuroradiology 2000
Semantics for Latin: An Introduction 1099
Biology of the Indian Stingless Bee: Tetragonula iridipennis Smith 1000
War and Peace in the Borderlands of Myanmar: The Kachin Ceasefire, 1994-2011 800
Robot-supported joining of reinforcement textiles with one-sided sewing heads 740
2024-2030年中国石英材料行业市场竞争现状及未来趋势研判报告 500
热门求助领域 （近24小时）
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号，转发送积分 4140623
求助须知：如何正确求助？哪些是违规求助？ 3677262
关于积分的说明 11623797
捐赠科研通 3371308
什么是DOI，文献DOI怎么找？ 1851900
邀请新用户注册赠送积分活动 914810
科研通“疑难数据库（出版商）”最低求助积分说明 829495
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通