基于CDM的嵌入式系统描述与模拟验证环境

基于CDM的嵌入式系统描述与模拟验证环境

吕钊，赵敏媛，顾君忠

Specification and verification environment for embedded system over CDM

LU Zhao, ZHAO Min-yuan, GU Jun-zhong

计算机应用 . 2005, (02): 426 -429 . DOI: 10.3724/SP.J.1087.2005.0426