搜索筛选:
搜索耗时0.0326秒,为你在为你在61,042,058篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者:ZHENG Yu-jun,ZHANG Zi-qiu,WANG Jin-quan,XUE Jin-yun,
来源:城市道桥与防洪 年份:2004
Formal methods offer the promise of significant improvement on quality and reliability of critical embedded software. B-Method is employed to develop general-se...
相关搜索: