Nguyễn Duy V. Thiết kế và xác minh an toàn cho hệ thống liên khóa máy tính trong đường sắt. vn [Internet]. 1744650000 [cited 20tháng 42025];76(3):243-57. Available from: https://tcsj.utc.edu.vn/index.php/tcgtvt/article/view/2186