退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关于不断发展的Statecharts规范的需求验证
Ghezzi Carlo; Menghi Claudio; Molzam Sharifloo Amir; Spoletini Paola;
机译:验证无功系统状态图规范的新方法
机译:基于Object-Z和状态图的异构形式规范:语义和验证
机译:生产系统修改有效规范的重要性 - 一种验证需求规范的方法
机译:刺激响应需求规范符号:一种通过经验评估的需求规范符号。
机译:将需求语句划分为各个需求的方法以及可以描述各个需求的需求规范编辑器的开发
机译:关于不断变化的statecharts规范的需求验证
机译:演化代数:一种新的规范和验证方法
机译:需求规格书,设计规格书和计算机可读存储介质设备的验证及其方法
机译:规格验证程序,计算机可读存储介质规格验证程序,规格验证装置和规格验证方法
机译:可读记录介质,规格验证设备,在记录有规格验证程序的计算机上读取的规格和验证方法,程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。