演示资料 · 2019.05.13PEGASUS 总结与展望Resümee & AusblickPEGASUS consortium · EnglishSafety caseStandardsValidation资料概述总结项目成果,并展望安全论证、测试框架和标准化方面的后续工作。