Description
This Excel file includes the list of papers analyzed in the systematic mapping study titled "Formal Methods in Railways: a Systematic Mapping Study". The study has been submitted for publication, and its preprint is also included in this repository.
Resources
| Name | Format | Description | Link |
|---|---|---|---|
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource |