AADL Models of Network Protocols

收藏

data.gov2024-09-14 收录

嵌入式网络协议建模

航空电子架构验证

数据链接：

https://catalog.data.gov/dataset/aadl-models-of-network-protocols 数据链接链接失效反馈

官方服务：

资源简介：

AADL and Error Annex models of SAFEbus, SPIDER, TTP and BRAIN

SAFEbus、SPIDER、TTP及BRAIN的架构分析与设计语言（AADL）与错误附件（Error Annex）模型

提供机构：

National Aeronautics and Space Administration

© 2023-2026 上海数据发展科技有限责任公司版权所有

沪ICP备17003045号-15 沪公网安备31010402336585号

二维码

社区交流群

二维码

科研交流群

商业服务