يعرض 1 - 10 نتائج من 3,315 نتيجة بحث عن '"Formal specifications"', وقت الاستعلام: 0.91s تنقيح النتائج
  1. 1
    مؤتمر

    المصدر: 2024 15th International Conference on Information and Communication Systems (ICICS) Information and Communication Systems (ICICS), 2024 15th International Conference on. :1-6 Aug, 2024

    Relation: 2024 15th International Conference on Information and Communication Systems (ICICS)

  2. 2
    مؤتمر

    المصدر: 2024 American Control Conference (ACC) American Control Conference (ACC), 2024. :3215-3222 Jul, 2024

    Relation: 2024 American Control Conference (ACC)

  3. 3
    مؤتمر

    المؤلفون: Sorensen, Derek

    المصدر: 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) Blockchain and Cryptocurrency (ICBC), 2024 IEEE International Conference on. :567-575 May, 2024

    Relation: 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)

  4. 4
    مؤتمر

    المصدر: 2024 IEEE International Conference on Mobility, Operations, Services and Technologies (MOST) MOST Mobility, Operations, Services and Technologies (MOST), 2024 IEEE International Conference on. :60-71 May, 2024

    Relation: 2024 IEEE International Conference on Mobility, Operations, Services and Technologies (MOST)

  5. 5
    مؤتمر

    المصدر: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :100-110 Apr, 2024

    Relation: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)

  6. 6
    مؤتمر

    المصدر: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :138-142 Apr, 2024

    Relation: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)

  7. 7
    مؤتمر

    المصدر: 2024 IEEE/ACM 46th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) ICSE-SEET Software Engineering: Software Engineering Education and Training (ICSE-SEET), 2024 IEEE/ACM 46th International Conference on. :151-161 Apr, 2024

    Relation: 2024 IEEE/ACM 46th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET)

  8. 8
    مؤتمر

    المصدر: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2024 IEEE/ACM 46th International Conference on. :2307-2319 Apr, 2024

    Relation: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE)

  9. 9
    دورية أكاديمية

    المصدر: IEEE Robotics and Automation Letters IEEE Robot. Autom. Lett. Robotics and Automation Letters, IEEE. 9(5):4226-4233 May, 2024

  10. 10
    دورية أكاديمية