搜索到 篇“ 验证环境 “的相关文章

相关作者

杨志斌
作品数：98被引量：152H指数：7
供职机构：南京航空航天大学
研究主题：AADL 自动生成方法 安全关键软件 L模型 AAD
周勇
作品数：147被引量：114H指数：6
供职机构：南京航空航天大学
研究主题：AADL 安全关键软件 自动生成方法 L模型 AAD
李峰
作品数：21被引量：0H指数：0
供职机构：江南计算技术研究所
研究主题：芯片验证 处理器 一致性 参考模型 芯片
谢军
作品数：26被引量：0H指数：0
供职机构：江南计算技术研究所
研究主题：芯片验证 处理器 参考模型 芯片 验证环境
查鲲鹏
作品数：171被引量：544H指数：14
供职机构：国家电网公司
研究主题：换流阀 高压直流输电 晶闸管 直流输电 电力电子