Data for: Model Checking of In-vehicle Networking Systems with CAN and FlexRay
收藏Mendeley Data2026-04-18 收录
官方服务：
资源简介：
This file has some experiments to evaluate the framework in UPPAAL.
本文件包含多项实验，旨在评估UPPAAL中的框架
创建时间：
2020-03-31
社区交流群
科研交流群
商业服务
This file has some experiments to evaluate the framework in UPPAAL.
本文件包含多项实验，旨在评估UPPAAL中的框架