A Comprehensive Formal Specification of ARINC 653 with Conformity Proof
SOFTWARE TESTING VERIFICATION & RELIABILITY（2024）
关键词
ARINC 653,comprehensive,conformity proof,formal specification
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要
SOFTWARE TESTING VERIFICATION & RELIABILITY（2024）