Analysis of the formal specification application for train control systems /

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Jo, Hyun-Jeong.
Drugi avtorji: Hwang, Jong-Gyu., Yoon, Yong-Ki.
Format: Bài viết
Jezik:English
Teme:
Zed
Oznake: Označite
Brez oznak, prvi označite!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt