발표자료 · 발행일 미표기PEGASUS 안전 논증Safety ArgumentPEGASUS consortium · EnglishSafety caseTraceability자료 개요구조·형식화·일관성·완전성·관련성의 원칙과 다섯 논증 계층을 통해 안전 근거를 조직합니다.