Traceability of statements to their source
收藏数据链接：
官方服务：
资源简介：
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
提供机构：
ETS创建时间：
2022-07-31
