工学 >>> 计算机科学技术 >>> 计算机软件 >>> 操作系统与操作环境 >>>
搜索结果: 1-7 共查到操作系统与操作环境 system相关记录7条 . 查询时间(0.406 秒)
This paper shows how to use model checking to find serious errors in file systems. Model checking is a formal verification technique tuned for finding corner-case errors by comprehensively exploring t...
西北工业大学操作系统课件 File System Management。
电子科技大学计算机操作系统课件Chapter 5 File System
BAG is a distributed operating system designed for real-time applications which is run on a distributed real-time system. The heterogeneously distributed BAG system consists of nodes which have VME-bu...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...