搜索筛选:
搜索耗时0.5291秒,为你在为你在102,267,441篇论文里面共找到 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...
相关搜索：
