退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在工业实践中介绍正式规范方法
Baresi L.; Orso A.; Institute of Electric and Electronic Engineer;
机译:致力于自动生成形式规范以验证和验证可靠的分布式系统:以工业案例研究为例的方法
机译:UML序列图与形式化规范方法的集成—基于Z的形式化解决方案
机译:莲花规格自动转换为雌激素规格的正式方法
机译:在工业实践中引入正式的规范方法
机译:通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式API和验证方法
机译:在工业实践中引入正式规范方法
机译:基于形式方法和规范方法的视觉规范支持工具系统
机译:零件规格和存储介质的制备系统和方法,其存储零件程序的实践方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。