搜索到 篇“ 符号模型检验 “的相关文章

相关作者

董荣胜
作品数：182被引量：1,520H指数：14
供职机构：桂林电子科技大学
研究主题：决策图 无线传感器网络 MDD 原子性 计算思维
罗莉
作品数：156被引量：269H指数：8
供职机构：国防科学技术大学
研究主题：处理器 片上网络 芯片 功耗 硬件实现
刘建元
作品数：11被引量：21H指数：3
供职机构：西安邮电学院计算机学院
研究主题：符号模型检验 布尔函数 微处理器 二叉决策图 OBDD
郭云川
作品数：124被引量：317H指数：8
供职机构：中国科学院信息工程研究所
研究主题：访问控制 公平 电子设备 电子商务协议 汇聚节点
古天龙
作品数：486被引量：1,441H指数：18
供职机构：桂林电子科技大学
研究主题：OBDD 装配序列规划 有序二叉决策图 离散事件系统 景点