![](/img/cover-not-exists.png)
Runtime compositional analysis of track-based traffic control systems
Bagheri, Maryam, Khamespanah, Ehsan, Sirjani, Marjan, Movaghar, Ali, Lee, Edward A.Volume:
14
Language:
english
Journal:
ACM SIGBED Review
DOI:
10.1145/3166227.3166233
Date:
November, 2017
File:
PDF, 791 KB
english, 2017