Formal Methods in Railways: a Systematic Mapping Study - List of Primary Studies and Data Extraction
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 |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-5084640 |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-5084640 |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-5084640 |
Tags
- formal-methods,-railway-systems,-systematic-mapping-study,-data-extraction