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 (tháng 9 2015), 84–89.