Dòng Nội dung
1
Kiểm chứng tính nhất quán của hệ thống phần mềm trong tiến trình tái cấu trúc : Đề tài nghiên cứu khoa học cấp Trường
Hải Phòng : Trường Đại học Hải Phòng, 2016
39tr. ; 30cm

Phương pháp kiểm chứng tính nhất quán trong tiến trình tái cấu trúc mô hình phần mềm. Ứng dụng phương pháp kiểm chứng vào hệ thống điều khiển lưu lượng giao thông đường bộ
Đầu mục:1 (Lượt lưu thông:0) Tài liệu số:0 (Lượt truy cập:0)

2
Phương pháp hình thức kiểm chứng hệ thống ATM sử dụng JML / Đào Thị Hường
2020
Tr.75-84