التفاصيل البيبلوغرافية
العنوان: |
Are Formal Methods Applicable To Machine Learning And Artificial Intelligence? |
المؤلفون: |
Krichen, Moez, Mihoub, Alaeddine, Alzahrani, Mohammed Y., Adoni, Wilfried Yves Hamilton, Nahhal, Tarik |
المصدر: |
2022 2nd International Conference of Smart Systems and Emerging Technologies (SMARTTECH) SMARTTECH Smart Systems and Emerging Technologies (SMARTTECH), 2022 2nd International Conference of. :48-53 May, 2022 |
Relation: |
2022 2nd International Conference of Smart Systems and Emerging Technologies (SMARTTECH) |
قاعدة البيانات: |
IEEE Xplore Digital Library |