Work

Railway interlocking process - formal method for documenting railway junction interlocking and signalling processes

Year: 2015

Type: article

Source: International Journal of Automation and Logistics

DOI: 10.1504/ijal.2015.068911

Authors: Jacek Mocki, Ljubo Vlacic

Institution: Griffith University

Language: English

Topic: Transportation Systems and Safety

Subfield: Computer Graphics and Computer-Aided Design

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: closed

OpenAlex ID: W2003241179

FWCI: 0.972

Cites: 10

Cited by: 3

Related to: 10