搜索到 篇“ 程序正确性验证 “的相关文章

相关作者

张延红
作品数：27被引量：66H指数：3
供职机构：浙江万里学院
研究主题：电表 低频信号 计算机网络课程 教学改革 实践教学
周必水
作品数：55被引量：165H指数：8
供职机构：杭州电子科技大学计算机学院
研究主题：PETRI网 语义网 有色PETRI网 WEB服务发现 基于本体
陈光喜
作品数：102被引量：344H指数：9
供职机构：桂林电子科技大学
研究主题：支持向量机 卷积神经网络 HVS 人类视觉系统 离散小波变换
吾守尔·斯拉木
作品数：92被引量：187H指数：7
供职机构：新疆大学
研究主题：维吾尔语 维吾尔文 神经网络 语音合成 卷积
廖苑蓉
作品数：4被引量：1H指数：1
供职机构：桂林电子科技大学
研究主题：终止性 代数方法 多元线性模型 主成分 因变量