Reactive systems in physical environments: compositional modelling and framework for verification

von Nadjm-Tehrani, Simin
Veröffentlicht 1994

Analysis of the overtaking scenario : specification of an autonomous car and a driver support system

von Nadjm-Tehrani, Simin
Veröffentlicht 1990

A study of decompositional verification of hybrid systems

von Westhead, Martin
Veröffentlicht 1995

Timing Patterns and Correlations in Spontaneous SCADA Traffic for Anomaly Detection

von Lin, Chih-Yuan
Veröffentlicht in RAID (22. : 2019 : Peking) 22nd International Symposium on Research in Attacks, Intrusions and Defenses 2019 (2021)

Critical information infrastructures security : 14th international conference, CRITIS 2019, Linköping, Sweden, September 23-25, 2019 : revised selected papers

Veröffentlicht 2020

A Comparative Analysis of Emulated and Real IEC-104 Spontaneous Traffic in Power System Networks

von Lin, C.-Y.
Veröffentlicht in CPS4CIP (1. : 2020 : Online) Cyber-Physical security for critical infrastructures protection (2021)

Towards reliable models of hybrid systems

von Strömberg, Jan-Erik
Veröffentlicht 1993

Verifying Resource Adequacy of Networked IMA Systems at Concept Level

von Saar de Moraes, Rodrigo
Veröffentlicht in FTSCS (7. : 2019 : Shenzhen) Formal techniques for safety-critical systems (2020)

Secure IT systems : 25th Nordic conference, NordSec 2020, virtual event, November 23-24, 2020 : proceedings

Veröffentlicht 2021