"Monitor-based temporal properties checking of train control systems with ..."

Lin Zhao, Ming Chai, Yang Liu (2014)

Details and statistics

DOI: 10.1109/ITSC.2014.6958146

access: closed

type: Conference or Workshop Paper

metadata version: 2017-05-23