Search for persons
X
?
Model Checking Software; Lecture Notes in Computer Science ,
3
Monitoring Cyber-Physical Systems Using a Tiny Twin to Prev..:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
4
An Actor-Based Approach for Security Analysis of Cyber-Phys..:
, In:
?
2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) ,
5