Modular verification of preemptive OS kernels
Modular verification of preemptive OS kernels
复制标题
抢占式操作系统内核的模块化验证
DOI：
10.1017/s0956796813000075
复制
发表时间：
2013
影响因子：
1.1
通讯作者：
GOTSMAN A
中科院分区：
文献类型：
--
作者：
GOTSMAN A
登录
查看更多内容
安全地分裂原子
影响因子：
1.1
作者：
Cliff B. Jones
通讯作者：
Cliff B. Jones
按名称调用中线性连续传递的语义
DOI：
--
发表时间：
2004
期刊：
Springer Lecture Notes in Computer Science 2998
影响因子：
--
作者：
M.Hasegawa
通讯作者：
M.Hasegawa
游戏语义和线性 CPS 解释
DOI：
10.1016/j.tcs.2004.10.022
发表时间：
2005
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
J. Laird
通讯作者：
J. Laird
使用简单语义的高阶存储的霍尔逻辑
DOI：
10.1007/978-3-642-20920-8_10
发表时间：
2011
期刊：
2011 IEEE 27th International Conference on Data Engineering Workshops
影响因子：
--
作者：
Nathaniel Charlton
通讯作者：
Nathaniel Charlton
DOI：
10.1016/j.entcs.2011.09.021
发表时间：
2011
期刊：
2010 ACM/IEEE 32nd International Conference on Software Engineering
影响因子：
--
作者：
Alexey Gotsman;Josh Berdine;B. Cook
通讯作者：
B. Cook