基于模型转换的MARTE 顺序图的形式化分析 - 2011年中国计算机学会服务计算学术会议(CCF NCSC2011).pdf

3 0

2025-12-14 04:05 | 查看全部阅读模式

论文《基于模型转换的MARTE 顺序图的形式化分析》发表于2011年中国计算机学会服务计算学术会议。该文提出一种将MARTE顺序图转换为形式化模型的方法，以支持更精确的系统行为分析。通过模型转换，实现了从图形化描述到数学模型的映射，增强了对实时和嵌入式系统的验证能力，为软件开发提供了理论支持与实践指导。

文档为pdf格式，0.33MB，总共8页。

基于模型转换的MARTE 顺序图的形式化分析 - 2011年中国计算机学会服务计算学术会议(CCF NCSC2011)

2025-12-14 04:05 上传

基于模型转换的MARTE 顺序图的形式化分析 - 2011年中国计算机学会服务计算学术会议(CCF NCSC2011).pdf

文件大小:: 337.92 KB

下载次数:: 60

基于模型转换的MARTE 顺序图的形式化分析 - 2011年中国计算机学会服务计算学术会议(CCF NCSC2011).pdf ...

高速下载

学术会议, 顺序, 模型, 计算机

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

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

基于模型转换的MARTE 顺序图的形式化分析 - 2011年中国计算机学会服务计算学术会议(CCF NCSC2011).pdf

相关文档

能源电力

化工

建筑工程

机械

电子信息

医药

科学