会议论文《一种基于B方法的形式化开发方法》发表于全国抗恶劣环境计算机第二十四届学术年会。该文提出了一种结合B方法的形式化开发策略，旨在提高软件系统的可靠性和正确性。通过形式化建模与验证，论文展示了在复杂环境下软件开发的有效途径，为相关领域的研究和应用提供了理论支持和技术参考。
文档为pdf格式，0.51MB，总共10页。
举报
