يعرض 1 - 2 نتائج من 2 نتيجة بحث عن '"Xiang, J."', وقت الاستعلام: 1.25s تنقيح النتائج
  1. 1
    مؤتمر
    Fault tree and formal methods in system safety analysis

    المؤلفون: Xiang, J., Futatsugi, K., He, Y.

    المصدر: The Fourth International Conference onComputer and Information Technology, 2004. CIT '04. Computer and information technology Computer and Information Technology, 2004. CIT '04. The Fourth International Conference on. :1108-1115 2004

    Relation: Proceedings. The Fourth International Conference on Computer and Information Technology

    Full Text Finder
    أضف إلى المفضلة
  2. 2
    مؤتمر
    Formal analysis of an anonymous fair exchange e-commerce protocol

    المؤلفون: Kong, W., Ogata, K., Xiang, J., Futatsugi, K.

    المصدر: The Fourth International Conference onComputer and Information Technology, 2004. CIT '04. Computer and information technology Computer and Information Technology, 2004. CIT '04. The Fourth International Conference on. :1100-1107 2004

    Relation: Proceedings. The Fourth International Conference on Computer and Information Technology

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