Runtime compositional analysis of track-based traffic control systems

Maryam Bagheri 0001, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar, Edward A. Lee. Runtime compositional analysis of track-based traffic control systems. SIGBED Review, 14(3):38-39, 2017. [doi]

Authors

Maryam Bagheri 0001

This author has not been identified. Look up 'Maryam Bagheri 0001' in Google

Ehsan Khamespanah

This author has not been identified. Look up 'Ehsan Khamespanah' in Google

Marjan Sirjani

This author has not been identified. It may be one of the following persons: Look up 'Marjan Sirjani' in Google

Ali Movaghar

This author has not been identified. Look up 'Ali Movaghar' in Google

Edward A. Lee

This author has not been identified. Look up 'Edward A. Lee' in Google