Data for: Model Checking of In-vehicle Networking Systems with CAN and FlexRay
收藏Mendeley Data2026-04-18 收录
下载链接：
https://data.mendeley.com/datasets/c5zj5ymwdk
下载链接
链接失效反馈官方服务：
资源简介：
This file has some experiments to evaluate the framework in UPPAAL.
本文件包含多项实验，旨在评估UPPAAL中的框架
创建时间：
2020-03-31
