恩 嵌入式系统的属性与验证 LiXi Computer Applications Lab CS Department,USTC嵌入式系统的属性与验证 Li Xi Computer Applications Lab CS Department, USTC