Personensuche
X
?
2022 Computing in Cardiology (CinC) ,
1
Exercise-based Predictors of Late Recurrence of Atrial Fibr..:
, In:
?
Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Practice ,
4
Towards Secure Digital Twins:
, In:
?
Formal Aspects of Component Software; Lecture Notes in Computer Science ,
7
Formal Model In-The-Loop for Secure Industrial Control Netw..:
, In:
?
Proceedings of the 8th International Conference on Formal Methods in Software Engineering ,
8
Security Verification of Industrial Control Systems using P..:
, In:
?
Proceedings of the 8th International Conference on Formal Methods in Software Engineering ,
10
Towards Formally Verified Key Management for Industrial Con..:
, In:
?
Innovative Security Solutions for Information Technology and Communications; Lecture Notes in Computer Science ,
11
Formal Security Analysis of Cloud-Connected Industrial Cont..:
, In:
?
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design ,
12
Security analysis of cloud-connected industrial control sys..:
, In:
?
2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ,
13