SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
Statistical Model Checking for Scenario-Based Verification of ADAS
计算机科学
模型检查
程序设计语言
作者
Sebastian Gerwinn,
Eike Möhlmann,
Anja Sieper
出处
期刊：Lecture Notes in Control and Information Sciences
日期：2018-06-28
卷期号：: 67-87
被引量：8
标识
DOI：10.1007/978-3-319-91569-2_4
求助该文献
最长约 10秒，即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
⚡
2026年影响因子、分区
已更新！
(2026-6-17)
更新
📰 新增『新锐期刊分区』
(2026-3-24)
更新
💬 新增更精细的自定义提醒设置
(2026-1-4)
新增
🕒 每天60秒读懂世界·精选全球要闻
(2026-1-2)
新增
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
科研通AI2S
的
应助
被
简单点吧
采纳，获得
10
刚刚
李红莲
完成签到，获得积分
10
刚刚
初晨
完成签到，获得积分
10
刚刚
chong
完成签到，获得积分
10
2秒前
高高的尔岚
发布了新的
文献求助
30
2秒前
烟花
的
应助
被
醉熏的幻桃
采纳，获得
10
2秒前
半夏
发布了新的
文献求助
10
3秒前
CT
完成签到，获得积分
10
3秒前
李红莲
发布了新的
文献求助
10
3秒前
啊薇儿
发布了新的
文献求助
10
3秒前
科研通AI6.4
的
应助
被
wxt
采纳，获得
10
4秒前
看看上课
发布了新的
文献求助
10
4秒前
Wells
上传了
应助文件
4秒前
清城
发布了新的
文献求助
10
5秒前
情怀
的
应助
被
许愿星
采纳，获得
10
5秒前
wanci
的
应助
被
耶耶耶
采纳，获得
10
7秒前
Orange
上传了
应助文件
10秒前
科研通AI6.2
上传了
应助文件
10秒前
echoliu
完成签到，获得积分
10
10秒前
木木
的
应助
被
felix
采纳，获得
10
11秒前
zack6119
的
应助
被
felix
采纳，获得
10
11秒前
zack6119
的
应助
被
felix
采纳，获得
10
11秒前
001
驳回了
2423
的
应助
12秒前
mader
完成签到，获得积分
10
12秒前
情怀
上传了
应助文件
13秒前
领导范儿
上传了
应助文件
14秒前
Unicorn
完成签到
，获得积分
10
15秒前
JamesPei
上传了
应助文件
15秒前
小确幸
完成签到，获得积分
20
15秒前
能干亦玉
发布了新的
文献求助
10
15秒前
iking666
完成签到，获得积分
10
15秒前
852
的
应助
被
LZX
采纳，获得
10
16秒前
初景
的
应助
被
liulangnmg
采纳，获得
20
16秒前
酷波er
上传了
应助文件
16秒前
zzz
发布了新的
文献求助
20
16秒前
clearsky
驳回了
奔跑
的
应助
17秒前
cdercder
的
应助
被
金某人
采纳，获得
20
18秒前
许愿星
发布了新的
文献求助
10
18秒前
英勇睿渊
发布了新的
文献求助
10
18秒前
YU
完成签到，获得积分
10
19秒前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】
10000
Principles of town planning: translating concepts to applications
1000
Management and the Arts
510
Matrix Methods in Data Mining and Pattern Recognition Second Edition
510
核安全综合知识2024版
500
Photothermal Science and Techniques
500
Digital Displacement Hydrostatic Transmission for Rotorcraft and Distributed Propulsion
500
热门求助领域
（近24小时）
化学
材料科学
医学
生物
纳米技术
工程类
有机化学
化学工程
生物化学
计算机科学
内科学
物理
复合材料
催化作用
细胞生物学
无机化学
光电子学
物理化学
电极
基因
热门帖子
关注
科研通微信公众号，转发送积分
7704885
求助须知：如何正确求助？哪些是违规求助？
9262771
关于积分的说明
20039768
捐赠科研通
7280645
什么是DOI，文献DOI怎么找？
3295063
关于科研通互助平台的介绍
2450223
邀请新用户注册赠送积分活动
2301872
今日热心研友
无极微光
331
6090
cdercder
440
4250
Nole
258
5035
馨馨的科科
202
2760
aaaa
126
3110
xing_xing
125
3060
Dean
43
3578
Wells
264
1310
DOC_XIONG
200
1740
共产主义战士
218
1460
学术文献互助
3100
奔跑
155
1190
OK
2260
zack6119
121
980
初景
59
1420
Viper
51
1390
超帅的笑蓝
46
1380
sagitar
56
1130
aajhajkahna
84
850
GingerF
1470
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
PDF的下载单位、IP信息已删除
(2025-6-4)
无极微光
cdercder
Nole
馨馨的科科
aaaa
xing_xing
Dean
Wells
DOC_XIONG
共产主义战士
学术文献互助
奔跑
OK
zack6119
初景
Viper
超帅的笑蓝
sagitar
aajhajkahna
GingerF
皖公网安备34019202002308
