搜索到 篇“ 形式化规范 “的相关文章

相关作者

贺也平
作品数：116被引量：541H指数：14
供职机构：中国科学院软件研究所
研究主题：可信计算 安全操作系统 信息安全 访问控制 源代码
黄涛
作品数：214被引量：1,225H指数：17
供职机构：中国科学院软件研究所
研究主题：中间件 WEB应用 WEB应用服务器 分布式 虚拟机
魏峻
作品数：272被引量：890H指数：16
供职机构：中国科学院软件研究所
研究主题：中间件 WEB应用 WEB服务 分布式 分布式系统
王栋
作品数：8被引量：2H指数：1
供职机构：中国科学院软件研究所
研究主题：分布式系统 RTEMS 形式化规范 基于代理 目标机
沈昌祥
作品数：317被引量：2,131H指数：25
供职机构：北京工业大学计算机学院
研究主题：可信计算 网络安全 信息安全 操作系统 安全操作系统