Formal Modelling and Optimal Traffic Management for Future Railways

Francesco Flammini, Stefano Marrone 0001, Lei Chen. Formal Modelling and Optimal Traffic Management for Future Railways. ERCIM News, 2022(128), 2022. [doi]

Authors

Francesco Flammini

This author has not been identified. Look up 'Francesco Flammini' in Google

Stefano Marrone 0001

This author has not been identified. Look up 'Stefano Marrone 0001' in Google

Lei Chen

This author has not been identified. Look up 'Lei Chen' in Google