逻辑计算正确性相关硕士博士期刊学术论文

实时仿真系统可信性验证是实时仿真理论研究及工程应用的重要内容。主要研究了实时仿真系统可信性验证,给出了验证的基本步骤,提出......