退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:MIMD机器上的有限状态机验证
Nand Kumar; Ranga Vemuri;
机译:验证有限状态机:一种分布式方法
机译:RINGA:在运行时为自适应软件设计和验证有限状态机
机译:有限状态机并行数组的VHDL描述的验证
机译:有限状态机器的演员协议规范和验证
机译:基于同时激光多移机的机床容积验证的高精度伸缩仪开发
机译:用有限元分析和实验验证研究SICP / Al颗粒增强金属基质复合材料加工过程
机译:有限状态机的设计验证装置,设计验证方法和设计验证程序
机译:有限状态机的设计验证装置,其设计验证方法及其设计验证程序
机译:有限序列机的验证方法及结果信息支持与验证工具
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。