Personensuche
X
?
2023 4th International Symposium on Computer Engineering and Intelligent Communications (ISCEIC) ,
5
Improved Model Checking Algorithm for Mobile Ambients:
, In:
?
GLOBECOM 2023 - 2023 IEEE Global Communications Conference ,
7
Minimizing the THz Communication Outage Probability with IS..:
, In:
?
2023 6th International Conference on Information Communication and Signal Processing (ICICSP) ,
10
Global Model-Checking for Propositional $\mu$-Calculus:
, In:
?
GLOBECOM 2023 - 2023 IEEE Global Communications Conference ,
11
Sensing Resource Allocation for Enlarging the Coverage Rang..:
, In:
?
2023 IEEE International Conference on Communications Workshops (ICC Workshops) ,
13