?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
1
EmergenTheta: Verification Beyond Abstraction Refinement (C..:
, In:
?
2024 IEEE 11th International Conference on Computational Cybernetics and Cyber-Medical Systems (ICCC) ,
7
Data Collection Studies for the Better Understanding of Fac..:
, In:
?
2024 IEEE 18th International Symposium on Applied Computational Intelligence and Informatics (SACI) ,
13