位置：成果数据库 > 著作 > 著作详情页
基于体系结构模型检查分布式控制系统
  • 所属机构名称：中国科学院软件研究所
  • 成果类型：著作
  • 出版社：《软件学报》（2003年11月录用）
  • 语言：中文
  • 相关项目：分布组件系统协调的建模及其验证方法研究
作者： 汪洋|魏峻|王振宇|
同著作项目
分布组件系统协调的建模及其验证方法研究
期刊论文 6 会议论文 4 著作 1
同项目著作