Temporal Verification of Relay-Based Railway Traffic Control Systems Using the Integrated Model of Distributed Systems
Article in Energies (November 2022)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Article in Energies (November 2022)
Article in Transportation Research Procedia (January 2022)
Article in Autonomous Agents and Multi-Agent Systems (December 2020)