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. https://jst-ud.vn/jst-ud/article/view/84-89.