Personensuche
X
?
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) ,
3
An Integrated Runtime Verification and Simulation Testbed f..:
, In:
?
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) ,
7
SymPLe: Complexity-Aware Design for Safety Critical I&C Sys..:
, In:
?
2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) ,
8