系统形式化相关硕士博士期刊学术论文 - 搜论网

系统形式化相关论文

基于形式化方法的航空电子系统检测

随着航空型号的快速发展，航空电子系统的数字化程度越来越高，软件在其中所占的比例越来越大．对航空电子系统中的软件进行测试和检测是......

期刊

模型检测系统形式化航空电子系统软件配置项有限状态自动机 model checking system formalization avionics s

看过本文同时还关注