开通博客赚积分
发布资源赚积分
分类

源码开发语言/平台
uppaal tron在线测试实时系统的工具
文件大小： 2864k
源码售价： 10 个金币 积分规则     积分充值
充值1元得10金币   
资源说明：Uppaal TRON 是一种基于Uppaal engine的在线测试工具, 它适用于对实时系统（主要是对实时嵌入式软件）的黑盒一致性测试，。本文介绍了Uppaal TRON的构成、特征以及优缺点,语法, 语义和语用, 列举了它的几种扩展形式, 并归纳了其应用及研究现状.
部分文件列表（点击文件名可查看文件内容）
本源码包内暂不包含可直接显示的源代码文件，请下载源码包。