会议论文《实时并发系统的形式化建模方法研究》发表于2009年系统仿真技术及其应用学术会议（CCSSTA2009）。该文探讨了实时并发系统的形式化建模方法，旨在提高系统设计的准确性和可靠性。作者通过引入形式化方法，对系统的并发行为和实时特性进行精确描述，为复杂系统的分析与验证提供了理论支持。研究成果对实时系统的设计与优化具有重要参考价值。
文档为pdf格式，0.29MB，总共4页。
举报
