只为小站
首页
域名查询
文件下载
登录
首页
论文研究-基于Kripke结构的UML状态图的形式语义和自动证明 .pdf
论文研究-基于Kripke结构的UML状态图的形式语义和自动证明 .pdf
上传者:
39841848
|
上传时间: 2023-02-27 21:34:44
|
文件大小: 328KB
|
文件类型: PDF
UML
基于Kripke结构的UML状态图的形式语义和自动证明,赵也非,杨宗源,给UML赋予形式化的动态语义,可以在软件生命过程早期,对系统进行自动推导和证明。把模型检测应用于UML,是在软件架构中引入形式化
文件下载
立即下载
评论信息
其他资源
玫瑰花图自动生成器软件(运用于地质行业)
cadence设计射频电路教程,全套资料,包括低噪放,混频器,压控振荡器
Debugging Tools for Windows(X86+X64)
ADS1.2-ARM集成开发环境
在线随机森林算法(online-random-forests)
《MFC.Windows程序设计(第2版)修订版》【高清完整版+带书签索引】.(Programming.Windows.with.MFC)
Advanced Exchange Recovery v6.8.zip
Discrete-Time Signal Processing 3ed Oppenheim 离散时间信号处理 奥本海默 第三版(文字版)
150M射频芯片RDA1846 使用资料
严蔚敏数据结构题集
源代码转化成流程图软件
【RPG Maker MV】RPG游戏《机器人养成记》制作笔记 - 制作背景和引擎选择-附件资源
CRMEB_v4单商户 b2c +uniapp
最新版本的php8.0.0
51单片机汇编语言音乐程序
《Metasploit渗透测试指南修订版》
jdk1.8.0_161 (64位)(官方正式解压版)
双缓冲实现彩色画图(vc6.0下GDI绘图)
用四阶统计量方法对图像特征进行提取的MATLAB仿真程序
asp+access代码-实现注册登录学生信息管理
数字特征提取matlab
CA6140杠杆夹具设计课程设计
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
倒立摆的模糊控制(基于simulink仿真,适合初学者).rar
基于傅里叶算子的手势识别的完整源代码(Python实现,包含样本库)
基于S函数的BP神经网络PID控制器及Simulink仿真和对应代码模型.zip
基于STM32的电子时钟设计
云视通端口扫描器.rar
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
狂神说Java系列笔记.rar
云视通扫描工具.zip
韦来生《数理统计》课后习题与答案
离散时间信号处理第三版课后习题答案
Vivado永久激活license(亲测可用)包(搜集的全部可用LICENSE)
android studio课程设计作业PPT+设计文档+可运行源代码+设计思路
雷达信号处理仿真程序(MTI,MTD等)
大唐杯资料+题库(移动通信)
IEEE 39节点系统的Simulink模型
最新下载
华数机器人工作站软件HSR Control Studio
Java-JDK-11.0.8(Windows & Mac os) 下载
弱口令字典TOP1000
xyauto_ui1_full_8227L_demo-ota-y1.zip
matlabcolormap.zip
新版多媒体云盘系统 云转码系统源码 云切片27盘56盘 支持多服务器切片
TopGrid v3.01 for Delphi2007
HTML+JS+CSS实现魔塔50层demo
OzCode 4.x通用破解补丁
多种隧道裂缝数据集可用于目标检测分类