يعرض 1 - 3 نتائج من 3 نتيجة بحث عن '"Shi, Xu-Qing"', وقت الاستعلام: 0.76s تنقيح النتائج
  1. 1
    مؤتمر
    Event-B Modeling for Use Case Diagrams and Application in Immune System Model

    المؤلفون: Xue-Geng, Zou, Sheng-rong, Yao, Ju-yi, Shi, Xu-qing

    المصدر: 2022 7th International Conference on Computational Intelligence and Applications (ICCIA) Computational Intelligence and Applications (ICCIA), 2022 7th International Conference on. :6-10 Jun, 2022

    Relation: 2022 7th International Conference on Computational Intelligence and Applications (ICCIA)

    أضف إلى المفضلة
  2. 2
    مؤتمر
    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)

    أضف إلى المفضلة
  3. 3
    مؤتمر
    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)

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