Cited By
View all- Wu YWeng JTang ZLi XDeng R(2017)Vulnerabilities, Attacks, and Countermeasures in Balise-Based Train Control SystemsIEEE Transactions on Intelligent Transportation Systems10.1109/TITS.2016.259057918:4(814-823)Online publication date: 1-Apr-2017
- Cimatti ARoveri MSusi ATonetta S(2013)Validation of requirements for hybrid systemsACM Transactions on Software Engineering and Methodology10.1145/2377656.237765921:4(1-34)Online publication date: 7-Feb-2013