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. UD-JST [Internet]. 30 Tháng Chín 2015 [cited 17 Tháng Năm 2024];9(94):84-9. Available at: https://jst-ud.vn/jst-ud/article/view/84-89