Sign in

Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks.

Francesco FlamminiStefano MarroneRoberto NardoneValeria Vittorini
Published in: Formal Aspects Comput. (2021)
Keyphrases