铁路形式化方法系统性映射研究_主要研究列表与数据提取

数据集概述

本数据集包含铁路形式化方法系统性映射研究的主要研究论文列表及数据提取内容，辅以研究预印本，为该领域文献分析提供基础资料。

文件详解

• FMRail-primary-studies-data-extraction.xlsx：Excel格式文件，包含系统性映射研究中分析的论文列表及数据提取内容。
• PREPRINT-Survey_on_Formal_Methods_for_Railways.pdf：PDF格式文件，为该系统性映射研究的预印本。

适用场景

• 铁路工程研究：分析形式化方法在铁路系统中的应用现状与研究趋势
• 文献计量学分析：用于复现或扩展铁路形式化方法领域的系统性映射研究
• 计算机科学应用：探究形式化方法在安全关键系统（如铁路）中的技术落地
• 学术研究支持：为铁路形式化方法相关课题的文献综述提供基础数据