会议论文《基于改进Petri网的可信软件模型验证和测试研究》发表于第六届中国测试学术会议。该文提出一种改进的Petri网模型，用于提升可信软件系统的验证与测试效率。通过优化传统Petri网结构，增强了对复杂系统行为的描述能力，为软件可靠性分析提供了新方法。研究具有重要的理论价值和实际应用意义。
文档为pdf格式，0.5MB，总共6页。
举报
