Analysis of the formal specification application for train control systems /

Spremljeno u:
Bibliografski detalji
Glavni autor: Jo, Hyun-Jeong.
Daljnji autori: Hwang, Jong-Gyu., Yoon, Yong-Ki.
Format: Članak
Jezik:English
Teme:
Zed
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt