Personensuche
X
?
2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC) ,
7
IPSG: Invariant Proof Score Generator:
, In:
?
2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C) ,
9
Formal Specification and Model Checking of an Autonomous Ve..:
, In:
?
Proceedings of the Ninth International Symposium on Information and Communication Technology ,
11