《表2 AltaRica语言描述模型》

《表2 AltaRica语言描述模型》   提示:宽带有限、当前游客访问压缩模式
本系列图表出处文件名:随高清版一同展现
《基于模型的飞行管理系统安全性分析》


  1. 获取 高清版本忘记账户?点击这里登录
  1. 下载图表忘记账户?点击这里登录

根据图1的系统架构和表2的形式化模型,采用商用Simfia软件建立飞行管理系统图形化模型,如图2所示。