Formal reasoning about runtime code update
Formal reasoning about runtime code update
复制标题
关于运行时代码更新的形式化推理
DOI：
10.1109/icdew.2011.5767624
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Charlton N
中科院分区：
文献类型：
--
作者：
Charlton N
可卸载 C 模块的验证 - 健全性证明
DOI：
--
发表时间：
2009
期刊：
影响因子：
--
作者：
B. Jacobs;Jan Smans;Frank Piessens
通讯作者：
Frank Piessens
多线程消息传递系统中的迁移协议
DOI：
--
发表时间：
2009
期刊：
Workshop on Hot Topics in Software Upgrades
影响因子：
--
作者：
Austin Anderson;J. Rathke
通讯作者：
J. Rathke