Analysis of the formal specification application for train control systems /

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Jo, Hyun-Jeong.
Tác giả khác: Hwang, Jong-Gyu., Yoon, Yong-Ki.
Định dạng: Bài viết
Ngôn ngữ:English
Những chủ đề:
Zed
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt