已完结
  • 文献求助详情
标题
Formal Memory Models for the Verification of Low-Level Operating-System Code
用于验证低级操作系统代码的形式内存模型
相关领域
计算机科学 内存映射 内存保护 虚拟内存 管理程序 记忆模型 模型检查 程序设计语言 操作系统 内存管理 嵌入式系统 覆盖 共享内存 云计算 虚拟化
网址
DOI
10.1007/s10817-009-9122-0 doi
其它 期刊:Journal of Automated Reasoning
作者:Hendrik Tews; Marcus Völp; Tjark Weber
出版日期:2009-04-01
求助人
科研菜鸟 在 2025-03-14 09:04:41 发布自黑龙江,悬赏 10 积分
下载 求助已完成,仅限求助人下载。
 
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
该求助已完结,感谢关注
如需该文献,请重新发布求助,前往发布
站在巨人的肩膀上,才更有可能跳的更远
请遵守相关知识产权规定,勿将文件分享给他人,仅可用于个人研究学习
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
脑洞疼应助小李采纳,获得10
2秒前
深情安青应助一叶舟采纳,获得10
2秒前
zz完成签到,获得积分10
2秒前
蒙蒙完成签到 ,获得积分10
2秒前
2秒前
鲤鱼依白完成签到 ,获得积分10
2秒前
欣喜的香彤完成签到,获得积分10
3秒前
科研通AI5应助CHENJIRU采纳,获得10
3秒前
生动大白菜真实的钥匙完成签到,获得积分10
3秒前
yiyi完成签到,获得积分10
4秒前
尉迟剑心完成签到,获得积分10
4秒前
4秒前
6秒前
在水一方应助尧雨采纳,获得10
7秒前
瓦力文完成签到,获得积分10
7秒前
jinyu完成签到 ,获得积分10
8秒前
8秒前
10秒前
12秒前
13秒前
15秒前
Dawn发布了新的文献求助10
16秒前
111发布了新的文献求助10
16秒前
心理学狗都不学完成签到,获得积分10
17秒前
大模型应助XRWei采纳,获得10
17秒前
20秒前
20秒前
希望天下0贩的0应助douglas采纳,获得10
20秒前
科研通AI5应助小康采纳,获得10
20秒前
彭于晏应助http采纳,获得30
21秒前
ding应助泡泡糖采纳,获得10
21秒前
汉堡包应助快乐的水瑶采纳,获得10
21秒前
22秒前
lalala发布了新的文献求助10
24秒前
俏皮的小鸭子完成签到,获得积分10
24秒前
zho发布了新的文献求助20
25秒前
JamesPei应助潇洒醉山采纳,获得30
27秒前
28秒前
Cheng完成签到 ,获得积分10
28秒前
洛洛洛完成签到,获得积分10
29秒前
高分求助中
Continuum Thermodynamics and Material Modelling 3000
Production Logging: Theoretical and Interpretive Elements 2700
Comparative Anatomy of the Vertebrates 9th 2000
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
热门求助领域 (近24小时)
化学 材料科学 生物 医学 工程类 有机化学 生物化学 物理 纳米技术 计算机科学 内科学 化学工程 复合材料 基因 遗传学 物理化学 催化作用 量子力学 光电子学 冶金
热门帖子
关注 科研通微信公众号,转发送积分 3571830
求助须知:如何正确求助?哪些是违规求助? 3142244
关于积分的说明 9446511
捐赠科研通 2843660
什么是DOI,文献DOI怎么找? 1562971
邀请新用户注册赠送积分活动 731526
科研通“疑难数据库(出版商)”最低求助积分说明 718557