国际航空航天工程杂志》上
研究文章

基于FTGPN综合模块化航空电子系统的安全分析方法

图7

的GSPN模型ARINC664网络。