Description
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.
Resources
| Name | Format | Description | Link |
|---|---|---|---|
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource |