Data for: Model Checking of In-vehicle Networking Systems with CAN and FlexRay

Published: 31 March 2020| Version 1 | DOI: 10.17632/c5zj5ymwdk.1
Contributor:
Xiaoyun Guo

Description

This file has some experiments to evaluate the framework in UPPAAL.

Files

Categories

Model Checking

Licence