2. 您的位置
3. 首页
4. 学位论文
5. UPPAAL时间自动机到UML子图转换方法研究及工具实现

UPPAAL时间自动机到UML子图转换方法研究及工具实现

来源 :华东师范大学 | 被引量 : 0次 | 上传用户：yancliu

【作 者】

：

徐洁琼 

【出 处】

：

华东师范大学

【发表日期】

：

2018年09期

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

基于《中国分类主题词表》的旅游本体知识库研究与实现

学位

行政强制执行体制改革研究——关于单独设立行政强制执行部门的思考

学位

基于数据挖掘技术的个人所得税管理系统的设计和实现

学位

席勒《审美教育书简》对我国美育的启示

学位

基于分形理论的木材细胞图像边缘检测研究

学位

吸附塔支撑圈结构焊接残余应力有限元分析

期刊

电子商务专业实训系统的设计与实现

学位

基于GPU的JPEG2000图像压缩技术研究

学位

基于视频流的车牌识别系统的设计与实现

学位

掌纹识别算法研究

学位