机译:使用扇区编程方案的低压闪存的编程和程序验证方法
机译:基于现场可编程门阵列的巨型磁致伸缩执行器可编程电流源的方案设计与实验验证
机译:在可扩展程序验证程序中将生成元编程和Hoare逻辑相结合的基岩结构化编程系统
机译:基岩结构化编程系统:在可扩展程序验证程序中结合生成元编程和Hoare逻辑
机译:高密度磁记录机构的计算机仿真分析研究及其应用
机译:基于知识的基于知识编程模式的验证受到资源受限嵌入式设备的自然语言的启发
机译:自相似平铺结构的计算示例(在数学分析计算机上的理论开发及其可行性)