Author Login Chief Editor Login Reviewer Login Editor Login Remote Office
Hardware Component Formal Specification and Its Composition Architectures
HUANG Wan-wei; LAN Ju-long; YU Jing; LI Peng
Computer Engineering . 2010, (8): 230 -232 .  DOI: 10.3969/j.issn.1000-3428.2010.08.081