... 计划项目执行评价 program evaluation 计算机辅助核实 computer-assisted verification 计算机辅助审计技术 computer-assisted audit technique ...
基于8个网页-相关网页
computer-assisted verification of software control [计] 软件控制的计算机辅助审核
Computer generated and assisted proofs and verification occupy a small niche in the realm of Computer Science.
公理的计算机生成、辅助证明和验证这一学科在计算机科学王国中只占有很小的份额。
Results of the mathematical model verification and the numerical results of heat consumption computer-assisted management control system operation are shown on Figure 2.
数学模型验证的结果和数值结果的热量消耗计算机辅助管理控制系统操作在图2所示。
应用推荐