作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
硬件构件的形式化描述及其组装机制
黄万伟;兰巨龙;于 婧;李 鹏
Hardware Component Formal Specification and Its Composition Architectures
HUANG Wan-wei; LAN Ju-long; YU Jing; LI Peng
计算机工程 . 2010, (8): 230 -232 .  DOI: 10.3969/j.issn.1000-3428.2010.08.081