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 GuoDescription
This file has some experiments to evaluate the framework in UPPAAL.
Files
Categories
Model Checking