Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks

Francesco Flammini, Stefano Marrone 0001, Roberto Nardone, Valeria Vittorini. Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks. Formal Asp. Comput., 33(6):989-1007, 2021. [doi]

Abstract

Abstract is missing.