Analysis of the formal specification application for train control systems /
محفوظ في:
| المؤلف الرئيسي: | Jo, Hyun-Jeong. |
|---|---|
| مؤلفون آخرون: | Hwang, Jong-Gyu., Yoon, Yong-Ki. |
| التنسيق: | مقال |
| اللغة: | English |
| الموضوعات: | |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
مواد مشابهة
-
On formalizing and normalizing role-based access control systems /
بواسطة: Power, David. -
Formal Methods: Foundations and Applications
بواسطة: Davies, Jim, وآخرون
منشور في: (2015) -
Formalization and theoretical analysis of the local effect model /
بواسطة: Beuve, M. -
Dissipative Systems Analysis and Control
بواسطة: Brogliato, Bernard, وآخرون
منشور في: (2020) -
Dissipative Systems Analysis and Control
بواسطة: Brogliato, Bernard, وآخرون
منشور في: (2020)