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

    المصدر: 2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC) Systems, Man, and Cybernetics (SMC), 2022 IEEE International Conference on. :1342-1349 Oct, 2022

    Relation: 2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC)

  2. 2
  3. 3
    مؤتمر

    المصدر: 2017 IEEE 36th International Performance Computing and Communications Conference (IPCCC) Performance Computing and Communications Conference (IPCCC), 2017 IEEE 36th International. :1-7 Dec, 2017

    Relation: 2017 IEEE 36th International Performance Computing and Communications Conference (IPCCC)

  4. 4
  5. 5
    مؤتمر

    المصدر: 2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS) Research Challenges in Information Science (RCIS), 2016 IEEE Tenth International Conference on. :1-12 Jun, 2016

    Relation: 2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS)

  6. 6
    مؤتمر

    المصدر: 2016 7th International Renewable Energy Congress (IREC) Renewable Energy Congress (IREC), 2016 7th International. :1-6 Mar, 2016

    Relation: 2016 7th International Renewable Energy Congress (IREC)

  7. 7
    مؤتمر

    المصدر: 2014 IEEE 17th International Conference on Computational Science and Engineering Computational Science and Engineering (CSE), 2014 IEEE 17th International Conference on. :1550-1557 Dec, 2014

    Relation: 2014 IEEE 17th International Conference on Computational Science and Engineering (CSE)

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

    لا يتم عرض هذه النتيجة على الضيوف.

  9. 9
    مؤتمر

    المؤلفون: Sharma, Rakhee, Kumar, Manoj

    المصدر: 2014 International Conference on Signal Propagation and Computer Technology (ICSPCT 2014) Signal Propagation and Computer Technology (ICSPCT), 2014 International Conference on. :239-243 Jul, 2014

    Relation: 2014 International Conference on Signal Propagation and Computer Technology (ICSPCT)

  10. 10
    كتاب إلكتروني

    المساهمون: van der Aalst, Wil, Series EditorAff1, Mylopoulos, John, Series EditorAff2, Rosemann, Michael, Series EditorAff3, Shaw, Michael J., Series EditorAff4, Szyperski, Clemens, Series EditorAff5, Themistocleous, Marinos, editorAff6, Papadaki, Maria, editorAff7

    المصدر: Information Systems : 16th European, Mediterranean, and Middle Eastern Conference, EMCIS 2019, Dubai, United Arab Emirates, December 9–10, 2019, Proceedings. 381:391-402