电脑体验，效果更佳

规约图谱-计算机领域：

研究人员

陈立前 褚伟 詹剑锋 许永丰 李彦涛 袁志斌 郑国梁 高文宇

相关术语

基于模型规约 变换 参数 算法 近似算法 基于逻辑规约 可信软件 验证

标签云