Analysis of the formal specification application for train control systems /

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Jo, Hyun-Jeong.
مؤلفون آخرون: Hwang, Jong-Gyu., Yoon, Yong-Ki.
التنسيق: مقال
اللغة:English
الموضوعات:
Zed
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt