退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于对象的软件的机械和模块化验证条件生成
Harton, Heather Keown.;
Clemson University.;
机译:自动生成用于软件规范模块化验证的假设
机译:不断发展的基于组件的软件的模块化一致性测试和假设保证验证
机译:C语言中软件组件的模块化验证
机译:基于对象的程序的模块化验证邀请谈话的摘要
机译:实现具有参考行为的基于对象的软件的自动验证
机译:具有完整板半板和无轮廓固定迭代的下一代集成和模块化ACDF设备的生物力学评估
机译:验证由软件组件组装而成的系统的方法,包括将软件组件整合到系统抽象中进行验证,在其中加载软件组件的验证条件
机译:基于模块对象的可扩展主站软件架构
机译:可扩展的主站软件的基于对象的模块化体系结构
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。