يعرض 1 - 10 نتائج من 1,540 نتيجة بحث عن '"formalisation"', وقت الاستعلام: 1.92s تنقيح النتائج
  1. 1
    مؤتمر

    المؤلفون: Raciti, Mario, Bella, Giampaolo

    المصدر: 2024 12th International Symposium on Digital Forensics and Security (ISDFS) Digital Forensics and Security (ISDFS), 2024 12th International Symposium on. :1-6 Apr, 2024

    Relation: 2024 12th International Symposium on Digital Forensics and Security (ISDFS)

  2. 2
  3. 3
    مؤتمر

    المصدر: 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW) ISSREW Software Reliability Engineering Workshops (ISSREW), 2023 IEEE 34th International Symposium on. :75-80 Oct, 2023

    Relation: 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW)

  4. 4
    مؤتمر

    المؤلفون: Tsiutsiura, Mykola, Gorda, Elena

    المصدر: 2023 IEEE International Conference on Smart Information Systems and Technologies (SIST) Smart Information Systems and Technologies (SIST), 2023 IEEE International Conference on. :189-192 May, 2023

    Relation: 2023 IEEE International Conference on Smart Information Systems and Technologies (SIST)

  5. 5
    مؤتمر

    المصدر: 2022 IEEE 34th International Conference on Tools with Artificial Intelligence (ICTAI) ICTAI Tools with Artificial Intelligence (ICTAI), 2022 IEEE 34th International Conference on. :1441-1448 Oct, 2022

    Relation: 2022 IEEE 34th International Conference on Tools with Artificial Intelligence (ICTAI)

  6. 6
    دورية أكاديمية
  7. 7
    كتاب إلكتروني

    المساهمون: Goos, Gerhard, Series EditorAff1, Aff3, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff4, Gao, Wen, Editorial Board MemberAff5, Steffen, Bernhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Bonfanti, Silvia, editorAff8, Gargantini, Angelo, editorAff9, Leuschel, Michael, editorAff10, Riccobene, Elvinia, editorAff11, Scandurra, Patrizia, editorAff12

    المصدر: Rigorous State-Based Methods : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings. 14759:208-214

  8. 8
  9. 9
    مؤتمر

    المصدر: 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) MODELS-C Model Driven Engineering Languages and Systems Companion (MODELS-C), 2021 ACM/IEEE International Conference on. :173-180 Oct, 2021

    Relation: 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)

  10. 10