关键词
形式化建模视角下航空电子系统检测研究
作者: 刘美山   来源: 电子测试 年份: 2022 文献类型 : 期刊 关键词: 动态   形式化建模   静态   检测研究   航空电子系统  
描述: 本文首先了解航空电子系统的典型软件体系结构,在形式化建模视角下分别对航空电子系统进行静态建模和动态建模,提出了形式化的航空电子系统综合检测方法,同样从静态动态两方面对航空电子系统进行全面检测研究。
< 1
Rss订阅