Thông tin tài liệu
| Nhan đề : | Nghiên cứu phương pháp giải ràng buộc smt và áp dụng để phát hiện lỗi tràn số cho mô hình Simulink |
| Tác giả: | TS. Đỗ Thị Bích Ngọc Đỗ, Thái Ngọc Trung |
| Năm xuất bản : | 2021 |
| Nhà xuất bản : | Học viện công nghệ Bưu chính Viễn thông |
| Tóm tắt : | Luận văn kết cấu gồm 3 chương: Chương 1: Tổng quan; Chương 2: Kiểm chứng lỗi tràn số của mô hình hệ thống nhúng; Chương 3: Thực nghiệm và đánh giá; |
| URI: | http://dlib.ptit.edu.vn/handle/HVCNBCVT/3047 |
| Trong bộ sưu tập: | LV - Ngành Hệ thống thông tin |
XEM MÔ TẢ
30
XEM & TẢI
2
Danh sách tệp tin đính kèm:
Xin lỗi! Thư viện chưa thể cung cấp tài liệu bạn yêu cầu vì bạn không thuộc đối tượng phục vụ tài liệu số dạng toàn văn. Bạn có thể tham khảo bản in của tài liệu này tại Phòng đọc Thư viện (Tầng 1 - Nhà A3 hoặc gửi email yêu cầu về địa chỉ: ilc@ptit.edu.vn)