Department of Information Systems Computing, UNITEC Institute of Technology, Auckland, New Zealand;
机译:从硬件描述生成逻辑图的逻辑设计自动化系统
机译:从硬件描述生成逻辑图的逻辑设计自动化系统
机译:图作为启发式工具。符号研究为图的设计提供理论模型
机译:通过任务图从任务方法图和方法通量图自动生成分布式设计工具的行为定义
机译:通过设计图的异构逻辑进行硬件验证的统一方法。
机译:因果图和匹配的案例对照研究的逻辑更正
机译:图为启发式工具。一种符号学调查,为图设计提供理论模型
机译:Y-12建筑物9201-4的工厂净化和退役技术逻辑图。第2卷:技术逻辑图