UML时序图模型到UPPAAL时自动机模型转换方法研究和工具实现

Name: UML时序图模型到UPPAAL时自动机模型转换方法研究和工具实现
Rating: 4.5 (44 reviews)
Author: zxllstar

上传者：zxllstar 2019-05-15 23:53:55上传 CAJ文件 5.89MB 热度 44次

UML时序图模型到UPPAAL时自动机模型转换方法研究和工具实现master

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

UML时序图模型到UPPAAL时自动机模型转换方法研究和工具实现

UML时序图模型到UPPAAL时自动机模型转换方法研究和工具实现master

大小：0B | 2019-05-15 23:53:55
基于MDE的UML模型到形式化模型的转换方法研究

模型转换的参考资料，仅供参考。出处：研究生：刘亚萍研究方向：软件开发与验证指导教师：黄志球教授南京航...

大小：0B | 2019-09-27 22:26:34
对UML模型与Petri网模型的转换方法的整合研究

大小：0B | 2019-01-03 01:04:05
元胞自动机模型

元胞自动机的NS模型的C++代码实现可用结构清晰值得下载

大小：0B | 2019-05-09 00:26:09
论文研究基于Uppaal的时延Petri网到时间自动机等价模型验证.pdf

时延Petri网和时间自动机都可以有效地对实时系统的行为进行模拟和性能分析。利用时延Petri网到时...

大小：0B | 2019-09-14 09:28:23
NaSch元胞自动机模型matlab实现

本程序根据1992年Nagel和Schreckenberg发表的交通流论文,利用matlab编写。采...

大小：2KB | 2020-10-14 20:06:15
ExcelVBA元胞自动机模型

利用元胞自动机框架，同时，将洪水演进的特点融入元胞自动机框架。该模型基于excel VBA编程实现。...

大小：0B | 2018-12-21 16:28:27
赋权型自动机的不同模型研究

自动机理论是理论计算机科学的基础理论之一, 在很多领域自动机有着广泛的应用, 有穷状态自动机是正则语...

大小：148KB | 2020-08-20 13:56:36
基于时间自动机(ta)的四列火车调度的uppaal模型实例

大小：0B | 2019-01-03 02:57:04
自动机理论与模型检测

Automata Theory and Model Checking,是一个关于自动机理论和模型检验...

大小：587KB | 2020-09-19 13:11:03
元胞自动机的NS模型

元胞自动机的NS模型的C++代码实现可用结构清晰

大小：0B | 2019-05-19 20:35:32
论文研究_BPMN到BPEL2.0的模型转换方法.pdf

随着WSBPEL2.0规范标准的提出，现有的BPMN到BPEL的组件转换方法已不再适用。为了适应B...

大小：342KB | 2020-07-16 04:55:52
元胞自动机交通模型matlab

matlab源代码，基于元胞自动机原理用matlab模拟的简单情景，大家可以再这个基础上加自己的di...

大小：0B | 2020-01-30 07:09:31
NaSch模型一维元胞自动机模型.py

NaSch模型——一维元胞自动机模型.py

大小：2.10 KB | 2021-04-29 22:36:50
UML模型到代码的转换

UML模型到代码的转换

大小：0B | 2019-09-21 13:59:34
论文研究基于混合自动机的PSL模型研究.pdf

基于SPICE的计算机仿真方法在混合信号电路验证应用中具有较大的计算开销，讨论基于属性描述的建模方法...

大小：0B | 2019-09-20 22:08:43