مؤتمر
Formal Methods for Enhanced Natural Disaster Management
| العنوان: | Formal Methods for Enhanced Natural Disaster Management |
|---|---|
| المؤلفون: | Krichen, Moez, Alzahrani, Mohammed Y. |
| المصدر: | 2023 20th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA) Computer Systems and Applications (AICCSA), 2023 20th ACS/IEEE International Conference on. :1-6 Dec, 2023 |
| Relation: | 2023 20th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9798350319439 |
|---|---|
| تدمد: | 21615330 |
| DOI: | 10.1109/AICCSA59173.2023.10479311 |