Trinh Cong Duy*; Nguyen Thanh Binh (2015) “Xây dựng công cụ sinh dữ liệu thử cho chương trình Lustre/SCADE dựa trên kiểm chứng mô hình”, Tạp chí Khoa học và Công nghệ - Đại học Đà Nẵng, 9(94), tr 84–89. Available at: https://jst-ud.vn/jst-ud/article/view/84-89 (Truy cập: 23Tháng Mười-Một2024).