Analysis of the formal specification application for train control systems /

Gardado en:
Detalles Bibliográficos
Autor Principal: Jo, Hyun-Jeong.
Outros autores: Hwang, Jong-Gyu., Yoon, Yong-Ki.
Formato: Artigo
Idioma:English
Những chủ đề:
Zed
Các nhãn: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt