资料下载 › 论文 › 面向特征的模型验证方法SUSI - 2009国际信息技与应用论 ...

面向特征的模型验证方法SUSI - 2009国际信息技与应用论坛.pdf

5 0

2026-1-11 22:37 | 查看全部阅读模式

会议论文《面向特征的模型验证方法SUSI》介绍了SUSI方法，该方法用于验证软件模型的正确性。SUSI通过分析模型的特征来提高验证效率和准确性。该论文发表于2009年国际信息技与应用论坛，为模型验证领域提供了新的思路和技术支持。

文档为pdf格式，0.31MB，总共4页。

面向特征的模型验证方法SUSI - 2009国际信息技与应用论坛.pdf

文件大小:: 317.44 KB

高速下载

模型, 特征, 面向, 验证, 方法

相关文档

• 面向军事基础数据的数据挖掘研究 - 2009年系统仿真技术及其应用学术会议(CCSSTA2009).pdf
• 面向云计算的网络化平台研究与实现 - 2009年全国高性能计算学术年会.pdf
• 面向业务流程的电子政务应用集成 - 2009年湖北省计算机学会年会.pdf
• 面向专用处理器指令集设计的应用特征分析方法研究与实现 - 2009年全国高性能计算学术年会.pdf
• 面向个性化推荐的两层混合图模型 - 2009年服务科学国际会议.pdf
• 面向“三网融合”的有线电视网络升级改造 - 第十一届全国有线电视技术研讨会(NCTC·2009).pdf
• 面向XML结构查询的标签位图过滤加速技术 - 全国第20届计算机技术与应用(CACIS)学术会议.pdf
• 面向WEB的虚拟现实引擎的设计与实现 - 第三届全国教育游戏与虚拟现实学术会议.pdf
• 面向XML文档的二级索引技术及其在XML关键词检索中的应用研究 - NDBC2009第26届中国数据库学术会议.pdf
• 面向Web论坛的多文档摘要方法 - 第五届全国信息检索学术会议CCIR2009.pdf
• 面向Modelica的模型库组织技术 - 2009年系统仿真技术及其应用学术会议(CCSSTA2009).pdf
• 面向MES的轮胎生产计划调度系统 - 2009中国过程系统工程年会(PSE)暨2009中国MES年会.pdf
• 面向Modelica的图文混合建模技术 - 2009年系统仿真技术及其应用学术会议(CCSSTA2009).pdf
• 面向3D肌肉模型的穿插分离算法 - 第二届全国智能信息处理学术会议.pdf
• 面向QoS的域间实时流覆盖组播方法研究 - 2009年全国理论计算机科学学术年会.pdf
• 面向MES的材料管理系统设计与实现 - 2009国际信息技与应用论坛.pdf
• 面向Cache优化的向量指令集设计与测评 - 2009年全国高性能计算学术年会.pdf
• 面向IO服务器的高性能存储器的实现与优化 - 2009年全国理论计算机科学学术年会.pdf
• 非饱和土损伤模型与应用 - 第一届全国“西部特殊土与工程”学术研讨会.pdf
• 非经典阻尼结构分析方法的研究比较 - 第四届全国防震减灾工程学术研讨会.pdf
• 面向船用柴油机制造的CAM系统建设研究 - 第十六届全国大功率柴油机学术年会.pdf
• 面向航班延误预警的数据挖掘系统分析与设计 - 2009国际信息技与应用论坛.pdf
• 面向等离子熔积制造过程工艺特征的FGM建模与路径规划 - 第13届全国特种加工学术会议.pdf
• 面向网络论坛的突发话题抽取 - 第五届全国信息检索学术会议CCIR2009.pdf
• 面向知识创新的风景园林研究 - 陈植造园思想国际研讨会暨园林规划设计理论与实践博士生论坛.pdf
• 面向物理网络拓扑结构P2P多播技术 - 中国通信学会第六届学术年会.pdf
• 面向物理网络拓扑结构P2P多播技术 - 辽宁省通信学会2009年通信网络与信息技术年会.pdf
• 面向目标不合格品率的统计过程控制方法研究 - 2009中国仪器仪表与测控技术大会.pdf
• 面向科技主题发展分段的社区核心圈技术 - NDBC2009第26届中国数据库学术会议.pdf
• 面向用户互联网访问日志的异常点击分析 - 第五届全国信息检索学术会议CCIR2009.pdf
• 面向服务的网络化软件需求语义互操作展开的连接本体 - 第二届全国智能信息处理学术会议.pdf
• 面向未来的智能继电保护系统概念设计 - 2009年云南电力技术论坛.pdf
• 面向构件的动态配置中间件 - 2009国际信息技与应用论坛.pdf
• 面向机器翻译的中文机构地址切分方法 - 2009国际信息技与应用论坛.pdf

热门分类

法规
地方标准
团体标准
其他标准
工业技术
参考文献
新能源行业
电力行业
商务办公
建筑工程
打包下载
软件工具