Analysis of the formal specification application for train control systems /

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Jo, Hyun-Jeong.
Andere auteurs: Hwang, Jong-Gyu., Yoon, Yong-Ki.
Formaat: Artikel
Taal:English
Onderwerpen:
Zed
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt