SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
Formal Memory Models for the Verification of Low-Level Operating-System Code
计算机科学
内存映射
内存保护
虚拟内存
管理程序
记忆模型
模型检查
程序设计语言
操作系统
内存管理
嵌入式系统
覆盖
共享内存
云计算
虚拟化
作者
Hendrik Tews,
Marcus Völp,
Tjark Weber
出处
期刊：
Journal of Automated Reasoning
[Springer Nature]
日期：2009-04-01
卷期号：42 (2-4): 189-227
被引量：23
链接
psu.edu
tu-dresden.de
doi.org
标识
DOI：10.1007/s10817-009-9122-0
求助该文献
最长约 10秒，即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
Huang
完成签到，获得积分
10
刚刚
情怀
上传了
应助文件
刚刚
凉拌小萝卜
完成签到，获得积分
10
2秒前
李健的粉丝团团长
上传了
应助文件
3秒前
倒卖风火轮
完成签到，获得积分
10
4秒前
勿丹
发布了新的
文献求助
20
5秒前
Xc
发布了新的
文献求助
10
5秒前
YL
完成签到
，获得积分
10
6秒前
Mmm1x
完成签到，获得积分
10
6秒前
简单
完成签到，获得积分
10
7秒前
Owen
上传了
应助文件
8秒前
11
发布了新的
文献求助
10
8秒前
科研通AI5
的
应助
被
咕喽
采纳，获得
10
8秒前
123
完成签到，获得积分
10
14秒前
于呵呵呵呵
发布了新的
文献求助
10
15秒前
wish
完成签到
，获得积分
10
17秒前
笨蛋没烦恼
完成签到，获得积分
10
18秒前
科研通AI5
的
应助
被
11
采纳，获得
10
19秒前
nino
完成签到，获得积分
10
20秒前
运气贼好的熊猫
完成签到
，获得积分
10
20秒前
英俊的铭
的
应助
被
科研通管家
采纳，获得
10
23秒前
科研通AI5
的
应助
被
科研通管家
采纳，获得
10
23秒前
小墨
的
应助
被
科研通管家
采纳，获得
10
23秒前
在水一方
的
应助
被
科研通管家
采纳，获得
20
23秒前
传奇3
的
应助
被
科研通管家
采纳，获得
10
23秒前
犇骉
的
应助
被
科研通管家
采纳，获得
20
23秒前
科研通AI5
的
应助
被
科研通管家
采纳，获得
10
23秒前
李健的小迷弟
的
应助
被
科研通管家
采纳，获得
10
24秒前
善学以致用
的
应助
被
科研通管家
采纳，获得
10
24秒前
情怀
的
应助
被
科研通管家
采纳，获得
10
24秒前
科研通管家
关闭了
睡不醒
的
文献求助
24秒前
大模型
的
应助
被
tanjuan
采纳，获得
20
25秒前
小巧的怜晴
完成签到
，获得积分
10
25秒前
大模型
上传了
应助文件
26秒前
毕葛
发布了新的
文献求助
10
26秒前
cjw123
发布了新的
文献求助
10
28秒前
CodeCraft
上传了
应助文件
28秒前
ljl
完成签到，获得积分
10
28秒前
李爱国
上传了
应助文件
30秒前
顺心的安珊
完成签到
，获得积分
10
31秒前
高分求助中
Continuum Thermodynamics and Material Modelling
3000
Production Logging: Theoretical and Interpretive Elements
2700
Les Mantodea de Guyane Insecta, Polyneoptera
1000
Structural Load Modelling and Combination for Performance and Safety Evaluation
1000
Conference Record, IAS Annual Meeting 1977
820
England and the Discovery of America, 1481-1620
600
電気学会論文誌D（産業応用部門誌）, 141 巻, 11 号
510
热门求助领域
（近24小时）
化学
材料科学
生物
医学
工程类
有机化学
生物化学
物理
纳米技术
计算机科学
内科学
化学工程
复合材料
基因
遗传学
物理化学
催化作用
量子力学
光电子学
冶金
热门帖子
关注
科研通微信公众号，转发送积分
3572474
求助须知：如何正确求助？哪些是违规求助？
3142633
关于积分的说明
9448405
捐赠科研通
2844063
什么是DOI，文献DOI怎么找？
1563169
邀请新用户注册赠送积分活动
731661
科研通“疑难数据库（出版商）”最低求助积分说明
718667
今日热心研友
不倦
193
1100
杳鸢
14
860
痴情的博超
66
230
风语村
50
250
科研小民工
26
480
sutharsons
740
爱静静
690
cdercder
16
480
pluto
27
350
请叫我风吹麦浪
41
200
HEIKU
35
250
火星上的菲鹰
30
250
迟大猫
540
han
41
pcr163
400
幽壑之潜蛟
34
CyrusSo524
320
YifanWang
300
YY
300
nozero
300
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
不倦
杳鸢
痴情的博超
风语村
科研小民工
sutharsons
爱静静
cdercder
pluto
请叫我风吹麦浪
HEIKU
火星上的菲鹰
迟大猫
han
pcr163
幽壑之潜蛟
CyrusSo524
YifanWang
YY
nozero
皖公网安备34019202002308
