登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

分布式系统形式化建模技术研究
出版社：中国科学院
出版年：2003
作者：郑红
资源类型：图书
细分类型：中文文献,学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

屏蔽系统形式化建模和分析方法研究
  • 作者：朱佳宾
  • 出版社：中国科学技术大学
  • 出版年：2022
...

高安全等级操作系统形式化开发技术研究
  • 作者：李丽萍
  • 出版社：中国科学院
  • 出版年：2008
...

分布式系统中的可信技术研究
  • 作者：石志国
  • 出版社：中国科学院
  • 出版年：2008
...

基于模型的分布式组件系统性能评价技术研究
  • 作者：张勇
  • 出版社：中国科学院
  • 出版年：2007
...

分布式大数据计算系统云化关键技术研究
  • 作者：常旭
  • 出版社：中国科学院计算技术研究所
  • 出版年：2019
...

形式化技术在物流信息系统建模中的应用研究—EFSM建模与实现
  • 作者：朱学俊
  • 出版年：2002