Analysis of the formal specification application for train control systems /

Sparad:
Bibliografiska uppgifter
Huvudupphovsman: Jo, Hyun-Jeong.
Övriga upphovsmän: Hwang, Jong-Gyu., Yoon, Yong-Ki.
Materialtyp: Artikel
Språk:English
Ämnen:
Zed
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt