Analysis of the formal specification application for train control systems /

Guardado en:
Detalles Bibliográficos
Autor principal: Jo, Hyun-Jeong.
Otros Autores: Hwang, Jong-Gyu., Yoon, Yong-Ki.
Formato: Artículo
Lenguaje:English
Materias:
Zed
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt