RailGround using Theory plug-in
收藏DataCite Commons2020-09-18 更新2025-04-17 收录
下载链接：
https://eprints.soton.ac.uk/412112/
下载链接
链接失效反馈官方服务：
资源简介：
This dataset is associated with the following paper
- Thai Son Hoang, Colin Snook, Dana Dghaym, and Michael Butler. Class-Diagrams for Abstract Data Types. In Hung Dang Van and Deepak Kapur, editors, *ICTAC2017: International Colloquium on Theoretical Aspects of Computing, Hanoi, Vietnam, October 23-27, Proceedings*, Lecture Notes in Computer Science, Springer, 2017
The Rodin platform archive *RailGround_Theory.zip* contains the development of the RailGround using Event-B and Theory Plug-in. The configuration for the Rodin platform can be found in the README.md file.
提供机构：
University of Southampton
创建时间：
2017-07-11
