SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
已入深夜，您辛苦了！由于当前在线用户较少，发布求助请尽量完整的填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！祝你早点完成任务，早点休息，好梦！
Demonstration of a Model-Based Approach for Formal Verification of I&C Logics
计算机科学
形式验证
程序设计语言
形式化方法
软件工程
作者
Joonas Linnosmaa,
Antti Pakonen,
Jarmo Alanen
标识
DOI：10.13182/npichmit23-41121
求助该文献
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
2024年影响因子查询已上线
(2024-6-20)
更新
大幅提高文件上传限制，最高150M
(2024-4-1)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
呼呼夫人
完成签到
，获得积分
10
1秒前
SciGPT
上传了
应助文件
2秒前
hhhhhhh
发布了新的
文献求助
10
5秒前
科目三
的
应助
被
啊呜
采纳，获得
10
8秒前
大模型
的
应助
被
研友_7LMron
采纳，获得
10
9秒前
香蕉觅云
的
应助
被
yjj
采纳，获得
10
11秒前
文艺的平松
完成签到
，获得积分
10
11秒前
Billy
上传了
应助文件
13秒前
杨无敌
完成签到
，获得积分
10
15秒前
科研王者
驳回了
思源
的
应助
17秒前
重生之我怎么变院士了
完成签到
，获得积分
10
22秒前
灵巧的觅柔
完成签到
，获得积分
10
24秒前
上官若男
上传了
应助文件
25秒前
彭于晏
上传了
应助文件
26秒前
minya
完成签到，获得积分
10
26秒前
科研通AI2S
上传了
应助文件
27秒前
无语的稀
发布了新的
文献求助
10
28秒前
学渣路过
完成签到，获得积分
10
30秒前
殷勤的可兰
发布了新的
文献求助
10
32秒前
shinyuliu
完成签到，获得积分
10
32秒前
Leo
完成签到
，获得积分
10
38秒前
晓晗
完成签到，获得积分
10
40秒前
科研通AI2S
上传了
应助文件
41秒前
肖兔子哇
完成签到
，获得积分
10
44秒前
3469907229
完成签到
，获得积分
10
56秒前
双黄
上传了
应助文件
56秒前
斯文败类
的
应助
被
无语的稀
采纳，获得
10
58秒前
科研通AI2S
上传了
应助文件
1分钟前
大个
上传了
应助文件
1分钟前
心儿
发布了新的
文献求助
10
1分钟前
科研Mayormm
完成签到
，获得积分
10
1分钟前
CD56
的
应助
被
柯擎汉
采纳，获得
20
1分钟前
mkljl
完成签到
，获得积分
10
1分钟前
大模型
上传了
应助文件
1分钟前
哇呀呀
完成签到
，获得积分
10
1分钟前
科研通AI2S
上传了
应助文件
1分钟前
研友_7LMron
发布了新的
文献求助
10
1分钟前
一一
完成签到
，获得积分
10
1分钟前
yuyuyu
完成签到，获得积分
10
1分钟前
Billy
上传了
应助文件
1分钟前
高分求助中
The late Devonian Standard Conodont Zonation
2000
Nickel superalloy market size, share, growth, trends, and forecast 2023-2030
2000
The Lali Section: An Excellent Reference Section for Upper - Devonian in South China
1500
Very-high-order BVD Schemes Using β-variable THINC Method
890
Mantiden: Faszinierende Lauerjäger Faszinierende Lauerjäger
800
PraxisRatgeber: Mantiden: Faszinierende Lauerjäger
800
A new species of Coccus (Homoptera: Coccoidea) from Malawi
500
热门求助领域
（近24小时）
化学
医学
生物
材料科学
工程类
有机化学
生物化学
物理
内科学
纳米技术
计算机科学
化学工程
复合材料
基因
遗传学
催化作用
物理化学
免疫学
量子力学
细胞生物学
热门帖子
关注
科研通微信公众号，转发送积分
3256751
求助须知：如何正确求助？哪些是违规求助？
2898932
关于积分的说明
8303046
捐赠科研通
2568123
什么是DOI，文献DOI怎么找？
1394887
科研通“疑难数据库（出版商）”最低求助积分说明
652924
邀请新用户注册赠送积分活动
630631
今日热心研友
带头大哥
12
650
寻道图强
15
90
双黄
11
100
妖娃娃
200
苹果丑
6
130
Billy
14
ppg123
4
60
美好斓
100
默默冬瓜
6
30
tuanheqi
80
从容芮
7
认真的迎南
50
熊猫
50
pluto
40
情怀
2
20
杳鸢
40
FashionBoy
1
20
汉堡包
3
慕青
1
20
Yziii
20
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
带头大哥
寻道图强
双黄
妖娃娃
苹果丑
Billy
ppg123
美好斓
默默冬瓜
tuanheqi
从容芮
认真的迎南
熊猫
pluto
情怀
杳鸢
FashionBoy
汉堡包
慕青
Yziii
皖公网安备34019202002308
