Formal Methods in Railways: a Systematic Mapping Study - List of Primary Studies and Data Extraction
收藏数据链接：
官方服务：
资源简介：
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.
提供机构：
CNR-ISTI创建时间：
2021-07-09
