|国家科技期刊平台
| 注册
首页|期刊导航|南京师范大学学报（工程技术版）|基于XYZ/E的Sun Open Solaris内核进程形式化描述与分析

基于XYZ/E的Sun Open Solaris内核进程形式化描述与分析

王少将 张广泉 吴国伟

南京师范大学学报（工程技术版）2008，Vol.8Issue(3)：82-87,6.
✕
南京师范大学学报（工程技术版）2008，Vol.8Issue(3)：82-87,6.

基于XYZ/E的Sun Open Solaris内核进程形式化描述与分析

Description and Analyses of Open Solaris Kernel Process Based on XYZ/E

王少将 1张广泉 1吴国伟2

作者信息

  • 1. 苏州大学,计算机科学与技术学院,江苏,苏州,215006
  • 2. 江苏省教育装备与勤工俭学管理中心,江苏,南京,210024
  • 折叠

摘要

关键词

XYZ/E/开放多任务操作系统/内核进程/形式化描述/逐步求精

分类

信息技术与安全科学

引用本文复制引用

王少将,张广泉,吴国伟..基于XYZ/E的Sun Open Solaris内核进程形式化描述与分析[J].南京师范大学学报（工程技术版）,2008,8(3):82-87,6.

基金项目

江苏省高校自然科学基金(05KJB520119)和重庆市自然科学基金(CSTC,2006BB2259)资助项目. （05KJB520119）

南京师范大学学报（工程技术版）

1672-1292

访问量0
|
下载量0
段落导航相关论文