Search for persons
X
?
2023 20th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA) ,
2
Formal Methods for Enhanced Natural Disaster Management:
, In:
?
2022 2nd International Conference of Smart Systems and Emerging Technologies (SMARTTECH) ,
9
Are Formal Methods Applicable To Machine Learning And Artif..:
, In:
?
2022 2nd International Conference of Smart Systems and Emerging Technologies (SMARTTECH) ,
10