Analysis of the formal specification application for train control systems /

Salvato in:
Dettagli Bibliografici
Autore principale: Jo, Hyun-Jeong.
Altri autori: Hwang, Jong-Gyu., Yoon, Yong-Ki.
Natura: Articolo
Lingua:English
Soggetti:
Zed
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt