退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:集成和工具支持的测试,调试和验证教学
Wolfgang Ahrendt; Richard Bubel; Reiner Hähnle;
机译:一种基于语义表的创新教学工具,用于命令程序的验证和调试
机译:用于测试和验证网络物理系统的正式要求调试
机译:软件调试,测试和验证
机译:测试,调试和验证的集成和工具支持的教学
机译:用于3D堆叠集成电路的测试和调试解决方案
机译:BigDebug:用于Spark中交互式大数据处理的调试原语
机译:使用抽象解释(和Ciao系统预处理器)进行集成程序调试,验证和优化
机译:詹姆斯韦伯太空望远镜综合科学仪器模块元件的光学测试和验证方法。
机译:用于测试半导体集成电路的调试程序的方法和装置以及用于测试同一电路的调试程序的程序
机译:具有单个内置自测(BIST)模块的软件可编程验证工具,用于测试和调试被测设备(DUT)中的多个内存模块
机译:具有多个内置自测(BIST)模块的软件可编程验证工具,用于测试和调试多个被测设备(DUT)
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。