千兆三余度AFDX帧管理的形式化建模与验证 / Formal Modeling and Verification of the Gigabit Triple Redundancy AFDX Frame Management
- Resource Type
- Academic Journal
- Source
- 航空电子技术 / Avionics Technology. 54(1):1-8
- Subject
千兆AFDX 三余度 帧管理设计 形式化建模 完整性检查 冗余管理 - Language
- Chinese
- ISSN
- 1006-141X