新资汇»首页 › 参考资料 › 工业技术 › 基于双格的多值模型的精化关系与对称化简 - 第十一届全 ...

基于双格的多值模型的精化关系与对称化简 - 第十一届全国软件与应用学术会议(NASAC2012).pdf

6 0

2025-12-14 16:44 | 查看全部阅读模式

论文《基于双格的多值模型的精化关系与对称化简》发表于第十一届全国软件与应用学术会议(NASAC2012)。该文探讨了多值模型中的精化关系和对称化简问题，提出基于双格理论的方法，以提高系统模型的表达能力和简化复杂性。研究为软件工程中的形式化方法提供了新的思路和工具。

文档为pdf格式，0.58MB，总共9页。

基于双格的多值模型的精化关系与对称化简 - 第十一届全国软件与应用学术会议(NASAC2012)

2025-12-14 16:44 上传

基于双格的多值模型的精化关系与对称化简 - 第十一届全国软件与应用学术会议(NASAC2012).pdf

文件大小:: 593.92 KB

下载次数:: 60

基于双格的多值模型的精化关系与对称化简 - 第十一届全国软件与应用学术会议(NASAC2012).pdf ...

高速下载

学术会议, 对称, 模型, 关系, 全国

【温馨提示】您好！以下是下载说明，请您仔细阅读：
1、推荐使用360安全浏览器访问本站，选择您所需的PDF文档，点击页面下方“下载”按钮。
2、耐心等待两秒钟，系统将自动开始下载，本站文件均为高速下载。
3、下载完成后，请查看您浏览器的下载文件夹，找到对应的PDF文件。
4、使用PDF阅读器打开文档，开始阅读学习。
5、使用过程中遇到问题，请联系QQ客服。

本站提供的所有PDF文档、软件、资料等均为网友上传或网络收集，仅供学习和研究使用，不得用于任何商业用途。
本站尊重知识产权，若本站内容侵犯了您的权益，请及时通知我们，我们将尽快予以删除。

基于双格的多值模型的精化关系与对称化简 - 第十一届全国软件与应用学术会议(NASAC2012).pdf

相关文档

能源电力

化工

建筑工程

机械

电子信息

医药

科学