Analysis of the formal specification application for train control systems /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Jo, Hyun-Jeong.
Další autoři: Hwang, Jong-Gyu., Yoon, Yong-Ki.
Médium: Článek
Jazyk:English
Témata:
Zed
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt