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
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
斯文败类
上传了
应助文件
1秒前
霸王是只猫
发布了新的
文献求助
10
1秒前
111
发布了新的
文献求助
10
1秒前
闪闪的天寿
发布了新的
文献求助
10
2秒前
小闰土
上传了
应助文件
2秒前
wanci
的
应助
被
hanatae
采纳，获得
10
4秒前
小蘑菇
的
应助
被
小何尖尖角
采纳，获得
10
4秒前
Jasper
的
应助
被
jeonghan
采纳，获得
10
5秒前
小马甲
的
应助
被
坤坤
采纳，获得
10
5秒前
希望天下0贩的0
的
应助
被
绿色植物
采纳，获得
10
5秒前
领导范儿
的
应助
被
内向的冰棍
采纳，获得
10
6秒前
麻辣烫小姐
完成签到，获得积分
10
6秒前
研友_VZG7GZ
上传了
应助文件
7秒前
生活
发布了新的
文献求助
10
8秒前
科研小白白啊芭比
完成签到，获得积分
10
8秒前
Hello
的
应助
被
chase
采纳，获得
10
9秒前
苏敢敢
发布了新的
文献求助
10
10秒前
zzz
完成签到，获得积分
10
10秒前
科研通AI5
的
应助
被
殷勤的斓
采纳，获得
30
11秒前
科研通AI5
的
应助
被
傲娇的高烽
采纳，获得
10
11秒前
华仔
上传了
应助文件
11秒前
Mr.Cletus
完成签到，获得积分
10
14秒前
唯为
的
应助
被
开放的果汁
采纳，获得
10
15秒前
Jasper
上传了
应助文件
15秒前
Voyager
完成签到，获得积分
10
16秒前
万能图书馆
上传了
应助文件
16秒前
Owen
的
应助
被
Mr.Cletus
采纳，获得
10
17秒前
眼睛大老姆
发布了新的
文献求助
10
17秒前
chase
完成签到，获得积分
10
18秒前
科研通AI5
上传了
应助文件
18秒前
难过的小甜瓜
完成签到，获得积分
10
18秒前
无花果
的
应助
被
水门
采纳，获得
10
18秒前
Rein
完成签到，获得积分
10
20秒前
晴天
完成签到，获得积分
10
21秒前
希望天下0贩的0
上传了
应助文件
22秒前
生活
完成签到
，获得积分
10
22秒前
jeonghan
发布了新的
文献求助
10
22秒前
我是屁股最红的小猴子
发布了新的
文献求助
10
23秒前
手心手背
发布了新的
文献求助
10
23秒前
h。
发布了新的
文献求助
10
24秒前
高分求助中
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小时）
化学
材料科学
生物
医学
工程类
有机化学
生物化学
物理
纳米技术
计算机科学
内科学
化学工程
复合材料
基因
遗传学
物理化学
催化作用
量子力学
光电子学
冶金
热门帖子
关注
科研通微信公众号，转发送积分
3572795
求助须知：如何正确求助？哪些是违规求助？
3142958
关于积分的说明
9449441
捐赠科研通
2844307
什么是DOI，文献DOI怎么找？
1563431
邀请新用户注册赠送积分活动
731771
科研通“疑难数据库（出版商）”最低求助积分说明
718695
今日热心研友
不倦
193
1180
科研小民工
26
830
杳鸢
20
890
痴情的博超
66
290
风语村
50
250
sutharsons
740
爱静静
690
请叫我风吹麦浪
43
250
pluto
27
380
pcr163
650
cdercder
16
480
火星上的菲鹰
30
310
HEIKU
35
250
幽壑之潜蛟
60
迟大猫
590
犇骉
14
270
han
41
YY
350
nozero
330
CyrusSo524
320
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
不倦
科研小民工
杳鸢
痴情的博超
风语村
sutharsons
爱静静
请叫我风吹麦浪
pluto
pcr163
cdercder
火星上的菲鹰
HEIKU
幽壑之潜蛟
迟大猫
犇骉
han
YY
nozero
CyrusSo524
皖公网安备34019202002308
