位置：成果数据库 > 著作 > 著作详情页
Reverse Observation Equivalenc
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 成果类型：著作
  • 出版社：Springer出版社
  • 相关项目：实时系统的软件可靠性测试与验证
作者： Yanjun Wen, Ji Wang, Zhi-Chang
同著作项目
实时系统的软件可靠性测试与验证
期刊论文 55 会议论文 52 获奖 1 著作 2
同项目著作
Bridging Refinement of Interfa