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), 84–89. Truy vấn từ https://jst-ud.vn/jst-ud/article/view/84-89