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