退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一种将操作规范转化为声明性规范的进化方法
Facundo Molina; César Cornejo; Renzo Degiovanni; Germán Regis; Pablo F. Castro; Nazareno Aguirre; Marcelo F. Frias;
机译:将操作规范转换为声明性规范的进化方法
机译:从操作场景推断声明性需求规格
机译:从通信协议的自然语言规范到可执行的代数规范的转换方法
机译:用于过程和声明性临床决策支持知识的增量规范和维护的可扩展体系结构
机译:操作规格自动分析仪,操作规格分析方法和操作规格分析程序
机译:基于电路操作规范和电路设计规范验证多循环路径的仿真系统
机译:基于声明规范的应用
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。