会议论文《安全关键系统的蓝图设计与生成》在华东计算技术研究所建所50周年庆学术交流会上发表。该文探讨了安全关键系统的设计方法与生成技术，强调了系统安全性与可靠性的核心地位。作者结合实际案例，分析了设计过程中的关键问题，并提出了优化方案。论文为相关领域的研究与应用提供了重要参考。
文档为pdf格式，0.29MB，总共4页。
举报
