南京师范大学学报(工程技术版) 过刊查询页面

    关键词中包括 operating system 的文章

1 基于XYZ/E的Sun Open Solaris内核进程形式化描述与分析
王少将1, 张广泉1, 吴国伟2
2008年03期 [82-87][摘要](1827)[pdf 196KB](3411)
2 基于嵌入式微处理器的“基表集抄器”的设计与实现
唐 锐1, 王庆庆2
2005年03期 [64-67][摘要](1540)[pdf 218KB](3191)