Personensuche
X
?
2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE) ,
5
Verifiable Obstacle Detection:
, In:
?
Computer Security – ESORICS 2022; Lecture Notes in Computer Science ,
6
Towards Efficient Auditing for Real-Time Systems:
, In:
?
2020 9th Mediterranean Conference on Embedded Computing (MECO) ,
8