SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
Validation process for railway interlocking systems
联锁
计算机科学
火车
过程（计算）
可靠性工程
任务（项目管理）
领域（数学分析）
系统工程
程序设计语言
数学
地图学
工程类
数学分析
地理
作者
Andrea Bonacchi,
Alessandro Fantechi,
Stefano Bacherini,
Matteo Tempestini
出处
期刊：
Science of Computer Programming
[Elsevier BV]
日期：2016-05-02
卷期号：128: 2-21
被引量：23
链接
handle.net
unifi.it
doi.org
标识
DOI：10.1016/j.scico.2016.04.004
求助该文献
相关文献
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
活动
『应助活动周』获奖名单已公布 🔥
(2025-4-2)
更新
『中科院2025期刊分区』已更新
(2025-3-23)
更新
『即时热点』模块已上线
(2025-2-28)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
Murphy_H
完成签到，获得积分
10
2秒前
wy.he
的
应助
被
元谷雪
采纳，获得
30
3秒前
ant
发布了新的
文献求助
10
4秒前
jenningseastera
的
应助
被
平常的无极
采纳，获得
10
4秒前
哈哈哈哈哈哈哈哈哈
发布了新的
文献求助
10
5秒前
lcj2022
发布了新的
文献求助
10
6秒前
站住浩子
的
应助
被
lxq
采纳，获得
10
7秒前
希望天下0贩的0
上传了
应助文件
8秒前
lcj2022
完成签到，获得积分
20
9秒前
科研通AI5
上传了
应助文件
10秒前
桐桐
的
应助
被
壮观以松
采纳，获得
10
11秒前
申霄九云外
完成签到，获得积分
10
12秒前
年轻的大炮
完成签到，获得积分
10
12秒前
平常的无极
完成签到，获得积分
20
12秒前
上官若男
上传了
应助文件
13秒前
orixero
上传了
应助文件
13秒前
最爱吃的柠檬酸
发布了新的
文献求助
10
13秒前
隐形曼青
上传了
应助文件
14秒前
ant
完成签到，获得积分
10
14秒前
Hello
上传了
应助文件
14秒前
Owen
的
应助
被
翟凯旋
采纳，获得
10
15秒前
khll
完成签到，获得积分
10
15秒前
暴躁的火车
发布了新的
文献求助
10
15秒前
悄悄.
完成签到，获得积分
10
15秒前
万类霜天竞自由
发布了新的
文献求助
10
18秒前
越遇
发布了新的
文献求助
10
18秒前
amipc
发布了新的
文献求助
10
19秒前
Hello
上传了
应助文件
19秒前
大胆傲安
发布了新的
文献求助
10
19秒前
Chenjz
完成签到，获得积分
10
20秒前
笑点低的南琴
发布了新的
文献求助
10
20秒前
小柒柒
完成签到，获得积分
10
20秒前
hahaha123213123
发布了新的
文献求助
10
20秒前
octopus
完成签到，获得积分
10
22秒前
drunk
完成签到
，获得积分
10
22秒前
三眼乌鸦
完成签到，获得积分
10
23秒前
笑点低战斗机
完成签到，获得积分
10
23秒前
雪妮儿
完成签到，获得积分
10
24秒前
lkl
完成签到，获得积分
20
24秒前
腼腆的耷
发布了新的
文献求助
10
25秒前
高分求助中
【此为提示信息，请勿应助】请按要求发布求助，避免被关
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小时）
化学
材料科学
医学
生物
工程类
有机化学
物理
生物化学
纳米技术
计算机科学
化学工程
内科学
复合材料
物理化学
电极
遗传学
量子力学
基因
冶金
催化作用
热门帖子
关注
科研通微信公众号，转发送积分
3755395
求助须知：如何正确求助？哪些是违规求助？
3298462
关于积分的说明
10105902
捐赠科研通
3013141
什么是DOI，文献DOI怎么找？
1655012
邀请新用户注册赠送积分活动
789339
科研通“疑难数据库（出版商）”最低求助积分说明
753273
今日热心研友
cdercder
220
1640
昏睡的蟠桃
48
2980
SYLH
45
1830
科研小民工
31
1600
nozero
1460
iNk
47
790
踏实无敌
50
610
HEIKU
55
550
Auston_zhong
55
510
airvince
65
380
阿飘
33
360
非而者厚
560
Sea_U
21
330
back you up
21
320
典雅问寒
530
燕子
51
Hayat
500
8R60d8
450
kingwill
450
fd163c
43
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
cdercder
昏睡的蟠桃
SYLH
科研小民工
nozero
iNk
踏实无敌
HEIKU
Auston_zhong
airvince
阿飘
非而者厚
Sea_U
back you up
典雅问寒
燕子
Hayat
8R60d8
kingwill
fd163c
皖公网安备34019202002308
