Kiểm tra mô hình phần mềm sử dụng lý thuyết Ôtômat Buchi và Logic thời gian tuyến tín
Kiểm chứng mô hình phần mềm sử dụng nusmv
Khảo sát phổ phát quang của dung dịch thuốc nhuộm Rhodamine bằng máy quang phổ QE65000 và các phần mềm chuyên dụng
KIỂM CHỨNG MÔ HÌNH PHẦN MỀM SỬ DỤNG NUSMV
Bài 5: CÀI ĐẶT CÁC PHẦN MỀM ỨNG DỤNG
042_Nghiên cứu về hệ hỗ trợ thiết kế phần mềm sử dụng CBR
Cài đặt driver cho các thiết bị và các phần mềm ứng dụng
CÁC PHẦN MỀM THÔNG DỤNG
Gián án 5 PHAN MEM SU DUNG TRONG DAY HOC
Dự đoán lỗi phần mềm sử dụng kỹ thuật học máy
đặc tả và kiểm chứng phần mềm sử dụng cafeobj
nghiên cứu về kiểm chứng phần mềm sử dụng công cụ spin