Work

Formal Modeling and Verification Methods for the System Requirement Specifications of Train Control Systems: A Survey

Year: 2024

Type: article

Source: IEEE Transactions on Intelligent Transportation Systems

DOI: 10.1109/tits.2024.3513717

Authors: Ruijun Cheng, Dewang Chen, Haifeng Song, Hui Liu, Huize Cheng

Institutions: North University of China, Fujian University of Technology, Beihang University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: closed

Funders: National Natural Science Foundation of China, North University of China

Award: G5143930480

OpenAlex ID: W4405598626

FWCI: 1.371

Cites: 187

Cited by: 7

Related to: 10