Thông tin tài liệu
| Nhan đề : | Kiểm định hình thức thiết kế phần cứng |
| Tác giả : | Nguyễn Thái Bình |
| Người hướng dẫn: | Nguyễn Đức Minh |
| Từ khoá : | Phần cứng |
| Năm xuất bản : | 2013 |
| Nhà xuất bản : | Trường Đại học Bách khoa Hà Nội |
| Tóm tắt : | Tổng quan về kiểm định hình thức phần cứng; Kiểm chứng hình thức; Phát triển chương trình tạo ROBĐ mạch LOGIC biểu diễn bằng FCK. |
| Mô tả: | Luận văn (Thạc sỹ khoa học) - Ngành Kỹ thuật truyền thông |
| URI: | http://dlib.hust.edu.vn/handle/HUST/18304 |
| Trong bộ sưu tập: | Ths-Điện tử viễn thông |
XEM MÔ TẢ
30
XEM & TẢI
26
Danh sách tệp tin đính kèm:
Khi sử dụng tài liệu trong thư viện số bạn đọc phải tuân thủ đầy đủ luật bản quyền.