TRINH CONG DUY*; NGUYEN THANH BINH. 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, [S. l.], v. 9, n. 94, p. 84–89, 2015. Disponível em: https://jst-ud.vn/jst-ud/article/view/84-89. Acesso em: 17 tháng 5. 2024.