A Railway Scheduling Method using Probabilistic Model Checking
Crossref DOI link: https://doi.org/10.35940/ijeat.A1980.109119
Published Online: 2019-10-10
Update policy: https://doi.org/10.35940/beiesp.crossmarkpolicy
,
Mohagheghi, Mohammadsadegh
Khademi, Anahita