Traceability of statements to their source
收藏NIAID Data Ecosystem2026-03-13 收录
下载链接：
https://zenodo.org/record/6946476
下载链接
链接失效反馈官方服务：
资源简介：
The spreadsheet contains statements extracted from two chapters of the ARINC 653 standard, namely partition management and health monitor. This spreadsheet allows the mapping between each statement and its exact paragraph from which it was extracted in the ARINC 653 part 1 document
创建时间：
2022-08-01
