论文研究-基于Kripke结构的UML状态图的形式语义和自动证明 .pdf
基于Kripke结构的UML状态图的形式语义和自动证明，赵也非，杨宗源，给UML赋予形式化的动态语义，可以在软件生命过程早期，对系统进行自动推导和证明。把模型检测应用于UML，是在软件架构中引入形式化
文件下载
评论信息
其他资源
- 雷达散射截面—预估、测量和减缩
- ad620差分放大电路图 原理图和PCB
- UFlex unity 流体模拟 物理模拟 软体模拟 插件
- 11月新版APP分发源码 支持封装仿fir.im分发APP应用分发托管平台运营版
- 从麦克风获取声音并存储到文件(Java)
- 简单刷题app
- 平衡小车 SCH+PCB+程序
- Wind River Workbench 3.0 for ARM part2
- OPENGL 星空 背景 图像
- TC264_Library.zip
- 基于SVM的手写数字识别（Opencv+图像集）
- 360免费WiFi _5.2.0.1085 去广告 单文件版
- 基于STM32的MFRC522射频识别源程序
- 轴棱锥顶点离轴加工误差对贝塞尔光束的影响
- 贵州_广联达水力工程计价软件GWH2014_4.200.101.865_(170619120658).exe
- 索爱j2me sdk:semc_java_me_cldc_sdk_2_5_0_3.7z
- 用例驱动的UML对象建模应用 中文
- CodeEditor
- IMM人脸数据库
- 零基础学Visual Basic 电子教程+随书光盘 1
- 《扩频通信》田日才
- 版图设计_基础+全面
- 基于视觉和毫米波雷达的车辆检测_英文
- 路径规划方法matlab 源代码
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明