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 4 publications that cite this research output on Dimensions.
Article in Energies (November 2022)
Article in Scientific Reports (August 2016)
Article in Cellular Signalling (August 2015)