Formal Methods in Railways: a Systematic Mapping Study - List of Primary Studies and Data Extraction

Alessio Ferrari; Maurice H. ter Beek

doi:10.5281/zenodo.5084640

Published July 9, 2021 | Version 1.0

Dataset Open

Formal Methods in Railways: a Systematic Mapping Study - List of Primary Studies and Data Extraction

1. CNR-ISTI

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.

Files

PREPRINT-Survey_on_Formal_Methods_for_Railways.pdf

Files (8.3 MB)

Name	Size	Download all
FMRail-primary-studies-data-extraction.xlsx md5:63f934217b5f1e728715972d239d04dd	119.1 kB	Download
PREPRINT-Survey_on_Formal_Methods_for_Railways.pdf md5:5bd14ac4a8e096f4aedb5f5eebd5b720	8.1 MB	Preview Download

Additional details

ASTRail – SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block validation 777561: European Commission
4SECURAIL – FORMAL METHODS AND CSIRT FOR THE RAILWAY SECTOR 881775: European Commission

262

Views

Downloads

Show more details

	All versions	This version
Views	262	262
Downloads	88	88
Data volume	630.3 MB	630.3 MB

More info on how stats are collected....

DOI

Resource type

Dataset

Publisher

Zenodo

Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: July 9, 2021
Modified: July 18, 2024

Formal Methods in Railways: a Systematic Mapping Study - List of Primary Studies and Data Extraction

Creators

Description

Files

PREPRINT-Survey_on_Formal_Methods_for_Railways.pdf

Files (8.3 MB)

Additional details

Funding