资料下载 › 会议论文 › 基于UPPAAL的复杂定时数据建模 - 2014年河南省计算机学 ...

基于UPPAAL的复杂定时数据建模 - 2014年河南省计算机学会学术年会暨河南省计算机大会.pdf

4 0

2026-1-10 03:58 | 查看全部阅读模式

会议论文《基于UPPAAL的复杂定时数据建模》发表于2014年河南省计算机学会学术年会暨河南省计算机大会。该文探讨了如何利用UPPAAL工具对复杂定时系统进行建模与分析，重点研究了定时数据的表示方法及验证技术，为实时系统的正确性验证提供了有效手段。

文档为pdf格式，1.18MB，总共5页。

基于UPPAAL的复杂定时数据建模 - 2014年河南省计算机学会学术年会暨河南省计算机大会.pdf

文件大小:: 1.18 MB

高速下载

河南省, 计算机, 建模, 年会, 学术

相关文档

• 水声通信盲均衡算法比较与仿真 - 2009年全国水声学学术交流会.pdf
• 水声通信及其军事应用研究 - 2009年全国水声学学术交流会.pdf
• 水声跳频调制解调系统的DSP实现 - 2009年全国水声学学术交流会.pdf
• 水声信号检测中的噪声抵消 - 2009年全国水声学学术交流会.pdf
• 水声传感器网络MAC协议研究与实现 - 2009年全国水声学学术交流会.pdf
• 水合物在蓄冷及制冷(热泵)领域的应用 - 中国制冷学会2009年学术年会.pdf
• 水泥窑和垃圾焚烧炉联合处理生活垃圾技术及运行效果 - 中国硅酸盐学会环保学术年会.pdf
• 水污染源监测中存在的问题及对策 - 辽宁省环境科学学会2009年学术年会.pdf
• 水热氢还原制粉技术 - 2009全国粉末冶金学术会议.pdf
• 水源除锰机理探讨 - 辽宁省环境科学学会2009年学术年会.pdf
• 水资源可持续利用和经济可持续发展 - 中国水利学会水资源专业委员会2009学术年会.pdf
• 水的相变在热液成矿作用中的意义 - 中国核学会2009年学术年会.pdf
• 水电站动态全过程仿真建模研究 - 2009年系统仿真技术及其应用学术会议(CCSSTA2009).pdf
• 江沟滑坡体安全监测设计与实施 - 2009年水利水电测绘信息网一、六片学术交流会.pdf
• 永磁同步电机参数测试方法的研究 - 第十四届全国电气自动化与电控系统学术年会.pdf
• 水钢3号高炉喷煤现状分析 - 2009年中小高炉炼铁学术年会.pdf
• 污水处理站运行中的问题分析与解决方案 - 中国石油学会第六届青年学术年会.pdf
• 污水处理中六价铬的测定方法 - 辽宁省环境科学学会2009年学术年会.pdf
• 江西桃山矿田群脉型铀矿化的控矿因素 - 中国核学会2009年学术年会.pdf
• 江苏省高速公路软土地基特点及处理方法分析 - 2009年江苏省地基基础年会(江苏省2009年岩土工程联合学术年会).pdf
• 汽车余热相变蓄能传热分析 - 中国内燃机学会2009年学术年会暨中小功率柴油机分会、基础件分会联合学术年会.pdf
• 汽油机起动过程振动的研究 - 中国内燃机学会2009年学术年会暨中小功率柴油机分会、基础件分会联合学术年会.pdf
• 汽油机电控系统气体状态参数的预估建模及试验研究 - 中国内燃机学会燃烧、节能、净化分会2009年度学术年会.pdf
• 汶川地震砖房震害的启示 - 江苏省土木工程结构安全与防灾学术交流会暨江苏省第三届工程鉴定与加固学术交流会.pdf
• 汶川地震后的思考 - 江苏省土木工程结构安全与防灾学术交流会暨江苏省第三届工程鉴定与加固学术交流会.pdf
• 汽车燃油经济性计算机仿真与其参数的灵敏度分析 - 2009年APC联合学术年会.pdf
• 汽车热管理系统及其研究进展 - 2009年APC联合学术年会.pdf
• 汽车涂装线水性漆的应用和展望 - 上海市化学化工学会2009年度学术年会.pdf
• 汽车排气系统静力学计算及模态分析 - 2009年APC联合学术年会.pdf
• 沙钢5800m3高炉供料系统设计 - 第10届全国大高炉炼铁学术年会.pdf
• 沙牌水电站工程震损特点分析 - 第二届全国水工抗震防灾学术交流会.pdf
• 沉降式离心机特性分析及工艺条件选择 - 中国核学会2009年学术年会.pdf
• 沈阳市生态环境发展的实证分析 - 辽宁省环境科学学会2009年学术年会.pdf
• 沈阳市主要污染物总量减排体系研究 - 辽宁省环境科学学会2009年学术年会.pdf
• 油浴式气体过滤器在铝粉生产装置的应用 - 2009全国粉末冶金学术会议.pdf
• 油基钻井液技术在青海油田的研究与应用 - 中国石油学会第六届青年学术年会.pdf
• 河南省饮用水源地保护与管理技术研究 - 第十三届世界湖泊大会.pdf
• 河南省航天诱变育种现状与展望 - 中国核学会2009年学术年会.pdf
• 河南省浅层地热能开发利用现状、问题及对策 - 2009年地温资源开发与地源热泵技术应用论坛.pdf
• 河南省新乡市工业结构优化研究 - 2008年GEF海河流域水资源与水环境综合管理项目国际研讨会.pdf
• 河南省新世纪重大找矿进展的启示暨对深部找矿与整装勘查的一些思考与建议 - 全国成矿理论与深部找矿新技术新方法交流研讨会.pdf
• 沼泽红假单胞菌与小球藻USTB-01的共培养研究 - 第十届全国化学工艺学术年会.pdf
• 油藏保护酸化技术的认识 - 中国石油学会第六届青年学术年会.pdf
• 油田数字化综合业务系统的建设与发展 - 2009黑龙江省通信学会学术年会.pdf
• 注入锁定钛宝石激光器的优化设计 - 上海市科协第七届学术年会—上海市激光学会2009年学术年会.pdf
• 波束形成中多目标分辨率研究 - 2009年全国水声学学术交流会.pdf
• 流星余迹通信信道建模与仿真 - 2009中国西部第六届青年通信学术会议.pdf
• 流程业务化定制中的工作流建模方法研究 - NDBC2009第26届中国数据库学术会议.pdf
• 流延机生产EVA真空铸造薄膜 - 第九届全国铸造学会消失模铸造学术年会暨首届全国V法铸造学术年会.pdf
• 流化床脱硝制备铀产品 - 中国核学会2009年学术年会.pdf
• 流化冰技术及其在食品保鲜等领域的应用 - 中国制冷学会2009年学术年会.pdf
• 活性炭在间苯二甲酸生产降耗中的应用 - 上海市化学化工学会2009年度学术年会.pdf
• 活性污泥法的现状及发展 - 辽宁省环境科学学会2009年学术年会.pdf
• 活塞冷却机构结构参数匹配试验研究 - 中国内燃机学会2009年学术年会暨中小功率柴油机分会、基础件分会联合学术年会.pdf
• 活塞式航空发动机增压系统初步研究 - 中国内燃机学会2009年学术年会暨中小功率柴油机分会、基础件分会联合学术年会.pdf
• 浅析低硅冶炼 - 第10届全国大高炉炼铁学术年会.pdf
• 浅析企业知识管理最佳实践 - 中国核学会2009年学术年会.pdf
• 浅析二氧化硫的控制方法 - 辽宁省环境科学学会2009年学术年会.pdf
• 浅析SSL VPN与IPSec VPN之间的比较 - 陕西省通信学会2009年学术年会.pdf
• 浅析AP1000首炉堆芯装载设计对核电厂运行的影响 - 中国核学会2009年学术年会.pdf
• 浅地层剖面仪信号处理板设计 - 2009年全国水声学学术交流会.pdf
• 流量传感器信号建模、信号处理方法与实现 - 2009中国自动化大会暨两化融合高峰会议.pdf
• 流量仪表计算机自动检定系统研制 - 中国石油学会第六届青年学术年会.pdf
• 浅析数据库课程的实践教学 - 浙江省高校计算机教学研究会2009年学术年会.pdf
• 浅析提高烟气脱硫DCS控制水平的方法 - 福建省科协第九届学术年会、2009年福建省机械工程学会学术年会.pdf
• 浅析华为SBS622设备业务中断原因 - 2009黑龙江省通信学会学术年会.pdf
• 浅析矿山测量技术的创新 - 第十六届六省矿山学术交流会.pdf
• 浅析电力变压器的经济运行 - 中国石油学会第六届青年学术年会.pdf
• 浅析混凝土结构加固改造设计的几个问题 - 江苏省土木工程结构安全与防灾学术交流会暨江苏省第三届工程鉴定与加固学术交流会.pdf
• 浅议乳品工业建设项目环境影响评价 - 辽宁省环境科学学会2009年学术年会.pdf
• 浅析风险管理与班组管理 - 2009黑龙江省通信学会学术年会.pdf
• 浅析铁矿石的物相分析 - 第三届全国高速分析学术交流会.pdf
• 浅析邻菲啰啉法测定低含铁量的影响因素 - 2009年甘肃省电机工程学会学术年会.pdf
• 浅析邮政运维管理系统的开发 - 陕西省通信学会2009年学术年会.pdf
• 浅论医用材料的采购与库存管理 - 四川省电子学会医疗电子专委会2009年学术年会.pdf
• 浅论医院医疗器械的维修管理 - 四川省电子学会医疗电子专委会2009年学术年会.pdf
• 浅议运行人员如何避免误操作 - 2009年甘肃省电机工程学会学术年会.pdf
• 浅谈一种玻璃退火炉的设计 - 第七届工业炉学术交流会.pdf
• 浅谈PCMW工法在基坑工程中的应用 - 2009年江苏省地基基础年会(江苏省2009年岩土工程联合学术年会).pdf
• 浅谈KYN28型开关柜联锁功能及其可靠性 - 河南省煤炭学会第六届机电专业委员会年会.pdf
• 浅谈GoogleEarth在无线基站规划及勘察中的应用 - 陕西省通信学会2009年学术年会.pdf
• 浅谈GPS的使用功能及在通信工程测量中的应用 - 陕西省通信学会2009年学术年会.pdf
• 浅谈GPRS在电力通讯中的应用 - 2009黑龙江省通信学会学术年会.pdf
• 浅谈GPON技术在网络组网中的应用 - 陕西省通信学会2009年学术年会.pdf
• 浅谈35 kV线路防雷措施 - 第十六届六省矿山学术交流会.pdf
• 浅论滴定分析法的高速化 - 第三届全国高速分析学术交流会.pdf
• 浅谈同站双电源对备自投的影响 - 2009年江苏省城市供用电专业学术年会.pdf
• 浅谈压力控制钻井技术 - 中国石油学会第六届青年学术年会.pdf
• 浅谈城市园林绿化与生态环境保护 - 辽宁省环境科学学会2009年学术年会.pdf
• 浅谈密封材料在建筑防水工程中的应用 - 2009全国工程建设防水技术学术交流会.pdf
• 浅谈核安全文化体系的建立与完善 - 中国核学会2009年学术年会.pdf
• 浅谈我国城市生活垃圾处理 - 辽宁省环境科学学会2009年学术年会.pdf
• 浅谈消弧消谐装置的作用及重复使用带来的危害 - 河南省煤炭学会第六届机电专业委员会年会.pdf
• 浅谈汶川地震后民房修复加固技术 - 江苏省土木工程结构安全与防灾学术交流会暨江苏省第三届工程鉴定与加固学术交流会.pdf
• 浅谈水利水电工程建设中的生态保护 - 辽宁省环境科学学会2009年学术年会.pdf
• 浅谈核科技数字图书馆的建设 - 中国核学会2009年学术年会.pdf
• 浅谈矿用电机车常见故障与处理方法 - 河南省煤炭学会第六届机电专业委员会年会.pdf
• 浅谈矿井电机车运输原理及效果分析 - 河南省煤炭学会第六届机电专业委员会年会.pdf
• 浅谈电子电气设备实用接地在孟津煤矿的应用 - 河南省煤炭学会第六届机电专业委员会年会.pdf
• 浅谈环境监测信息系统的建设与发展 - 辽宁省环境科学学会2009年学术年会.pdf

热门分类

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