Data for: Model Checking of In-vehicle Networking Systems with CAN and FlexRay
收藏Mendeley Data2020-01-01 更新2026-04-09 收录
下载链接：
https://data.mendeley.com/datasets/c5zj5ymwdk
下载链接
链接失效反馈官方服务：
资源简介：
This file has some experiments to evaluate the framework in UPPAAL.
创建时间：
2020-01-01
