Cited By
View all- Steiner WDutertre B(2018)The TTEthernet synchronisation protocols and their formal verificationInternational Journal of Critical Computer-Based Systems10.1504/IJCCBS.2013.0583984:3(280-300)Online publication date: 13-Dec-2018
- Park JIvanov RWeimer JPajic MSon SLee I(2017)Security of Cyber-Physical Systems in the Presence of Transient Sensor FaultsACM Transactions on Cyber-Physical Systems10.1145/30648091:3(1-23)Online publication date: 9-May-2017