يعرض 1 - 3 نتائج من 3 نتيجة بحث عن '"Shu, Yu-Dan"', وقت الاستعلام: 0.78s تنقيح النتائج
  1. 1
    مؤتمر
    Comparison of Event-B and ProB Verification

    المؤلفون: Zou, Sheng-Rong, Yao, Ju-Yi, Shi, Xu-Qing, Shu, Yu-Dan

    المصدر: 2021 6th International Conference on Computational Intelligence and Applications (ICCIA) ICCIA Computational Intelligence and Applications (ICCIA), 2021 6th International Conference on. :102-106 Jun, 2021

    Relation: 2021 6th International Conference on Computational Intelligence and Applications (ICCIA)

    أضف إلى المفضلة
  2. 2
    مؤتمر
    Refinement of the Cytokine Portion of the Immune System Based on Event-B

    المؤلفون: Zou, Sheng-rong, Shu, Yu-dan, Chen, Li, Shi, Xu-qing

    المصدر: 2020 5th International Conference on Computational Intelligence and Applications (ICCIA) Computational Intelligence and Applications (ICCIA), 2020 5th International Conference on. :145-149 Jun, 2020

    Relation: 2020 5th International Conference on Computational Intelligence and Applications (ICCIA)

    أضف إلى المفضلة
  3. 3
    مؤتمر
    Refinement and Validation of the Immune System Based on the Event-B Method

    المؤلفون: Zou, Sheng-rong, Chen, Li, Wang, Chen, Shu, Yu-dan

    المصدر: 2019 4th International Conference on Computational Intelligence and Applications (ICCIA) ICCIA Computational Intelligence and Applications (ICCIA), 2019 4th International Conference on. :16-20 Jun, 2019

    Relation: 2019 4th International Conference on Computational Intelligence and Applications (ICCIA)

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء