Supplementary Material: Comparing Formal Tools for System Design: a Case Study from the Railway Domain
收藏Zenodo2020-07-17 更新2026-05-25 收录
下载链接：
https://zenodo.org/record/2538117
下载链接
链接失效反馈官方服务：
资源简介：
The package includes a set of models for a railway moving-block system:
(a) a PDF document named Moving-block Model and Requirements.pdf, which includes a UML model of a moving-block system together with a set of requirements for the system;
(b) a set of 10 folders, each one associated to a formal or semi-formal development tool. Each folder contains one or more model of the moving-block system from (a), developed by means of the tool.
提供机构：
Zenodo创建时间：
2019-01-11
