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 9, no. 94 (Tháng Chín 30, 2015): 84–89. Truy cập Tháng Mười-Một 23, 2024. https://jst-ud.vn/jst-ud/article/view/84-89.