开放多任务操作系统相关硕士博士期刊学术论文 - 信丰网

开放多任务操作系统相关论文

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

建立并分析了Open Solaris内核进程模型,采用XYZ/E语言对模型进行了形式化描述.分析了内核进程数据结构、内核进程创建、系统调用......

期刊

XYZ/E 开放多任务操作系统内核进程形式化描述逐步求精 XYZ/E open muhi-task operating system kernel p

看过本文同时还关注