只为小站
首页
域名查询
文件下载
登录
首页
论文研究-基于Kripke结构的UML状态图的形式语义和自动证明 .pdf
论文研究-基于Kripke结构的UML状态图的形式语义和自动证明 .pdf
上传者:
39841848
|
上传时间: 2023-02-27 21:34:44
|
文件大小: 328KB
|
文件类型: PDF
UML
基于Kripke结构的UML状态图的形式语义和自动证明,赵也非,杨宗源,给UML赋予形式化的动态语义,可以在软件生命过程早期,对系统进行自动推导和证明。把模型检测应用于UML,是在软件架构中引入形式化
文件下载
立即下载
评论信息
其他资源
Optimum Array Processing最优阵列处理技术(中文版).part2
2020年【注会会计】历年真题汇编.zip
罗辛汇编实验6
三角模糊层次分析法
棋牌站点后台通杀漏洞0day
商户终端APP产品原型图(axure)
国际标准SFR算法文档ISO12233
C语言分析pcap文件
解决降频软件ThrottleStop_850
西南大学Linux期末考试试题和答案
ntellij idea 来创建一个购物网站——易买网
E:\安装程序\美化\字体\用于Win10硬替换的苹方字体\用于Win10硬替换的苹方字体.rar
将SQL建表语句转换成表格文档(SQL2XLS 附源代码)
安凯AK1050点读笔原理图和PCB
西北工业大学操作系统实验报告答案
jlink-ob_f072自动升级固件.zip
XBSettingController:快速构建类个人中心及应用设置界面-源码
bbquote-源码
PythonSelenium-源码
2008-2020河北行测.pdf
炫酷登录页面——掌握属性动画
隐形的翅膀.bws
redis-5.0.2.tar.gz
kali:树莓派上安装kali Linux系统打造便携式渗透组合教程
Openlayers 3.20.1
LabVIEW数据采集编程指南(上中下三篇).rar
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
基于hadoop商品推荐系统课程设计
DBSCAN算法Matlab实现
IEEE 39节点系统的Simulink模型
多目标优化算法(四)NSGA3的代码(MATLAB)
空间谱估计理论与算法------程序.rar
BP_PID控制仿真.rar
狂神说Java系列笔记.rar
多目标优化算法(二)MOEAD(附带NSGA2)的文档和代码(MATLAB)
MATLAB车牌识别系统
基于yolov4-keras的抽烟检测(源码+数据集)
拾荒者.exe同时ID扫描器IP扫描器
随机森林用于分类matlab代码
2020年数模国赛A题论文(省一等奖)和代码.rar
工程伦理案例分享.docx
基于Matlab的IEEE14节点潮流计算.zip
最新下载
Layer子域名挖掘机4.2纪念版.rar
华为结构与材料工程师-知识点总结【by詹姆斯申易登】.pdf
repository.zip
分词工具终极版(词根组合).xlsm
基于ESP32和python语言写的OLED屏字符显示和绘图
二阶倒立摆matlab代码-Inverted-Pendulum-Modeling-:模糊逻辑控制
Arduino编程参考手册中文版(带目录适合打印).zip
车辆品牌车系数据.zip
云熙设计加生产2.02免狗版
毛乌素沙地分布矢量图shp文件