...计的关键技术集中反映在其内核的设计与实现中．本文首先介绍已有的内核结构以及操作系统新的抽象——服务体／执行流模型（SEFM），进而介绍基于SEFM的构件化操作系统Minicore中内核（核心服务体）的设计技术。
基于40个网页-相关网页
软件工程与形式化方法(Software Engineering And Formal Methods)
Software Engineering and Formal Methods (SEFM), 2007 IEEE International Conference on; London,United Kingdom 会议名称:
基于10个网页-相关网页