Development of a System Controlling Cars on a Bridge using Machine Inclusion
收藏数据链接：
官方服务：
资源简介：
This dataset is associated with the following paper: Thai Son Hoang, Dana Dghaym, Colin Snook, and Michael Butler. A Composition Mechanism for Refinement-Based Methods. In Zhenjiang Hu and Guangdong Bai, editors, *ICECCS'17: International Conference on Engineering of Complex Computer Systems, Fukuoka, Japan, November 5--8, Proceedings*, IEEE, 2017. Details about the dataset can be found in the README.md file.
创建时间：
2017-09-12
