tron_讯易软件-源码之巅峰

源码之巅峰

当前位置：> TAG标签 > tron

uppaal tron在线测试实时系统的工具 0

编程语言：其他大小：金币：上传人：yuyunfu 发布日期：2023-09-20

Uppaal TRON 是一种基于Uppaal engine的在线测试工具, 它适用于对实时系统（主要是对实时嵌入式软件）的黑盒一致性测试，。本文介绍了Uppaal TRON的构成、特征以及优缺点,语法, 语义和语用
TRON.NETWORK 白皮书 1

编程语言：其他大小：金币：上传人：haoyisheng 发布日期：2023-04-10

The overall technical architecture consists of three platforms: 1. Social media platform: this is an application layer; 2. Block-chain platform: a core block chain-based functional module is offered: (1) Contract layer: a multilingual smart

2条

热门下载