实时精化演算相关硕士博士期刊学术论文

实时系统是一类需要考虑时间约束条件的反应系统，确保实时系统安全性和可靠性是至关重要的。形式化方法是建立在严密数学基础之上的......