《表1 WBS分层模型整体框架图》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《一个基于形式化方法的系统安全性建模分析实例研究》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

上一节用自然语言概要描述了AIR6110标准中的WBS系统架构和功能，接下来在本节中将采用SLIM对WBS系统的功能进行形式化建模．本文将机轮刹车系统按表1所示分层结构建模．