航空控制软件相关论文
嵌入式软件在安全关键领域的广泛运用使得保障软件安全性成为工业界和学术界关注的重要课题.抽象解释作为一种形式化方法为程序变......
航空控制软件已成为航空系统的核心控制决策单元。布尔条件表达式是构成航空控制软件循环和分支逻辑代码的主要成分,研究了航空控......