Thông tin tài liệu
| Nhan đề : | Embedded system design : modeling, synthesis and verification |
| Tác giả : | Daniel D. Gajski |
| Chủ đề : | Mã học phần TC418 | Embedded computer systems | Programmatuurtechniek | Embedded systems | Modellen (vorm) | Eingebettetes System | Hệ thống nhúng |
| Năm xuất bản : | 2009 |
| Nhà xuất bản : | Dordrecht ; New York : Springer, |
| Tóm tắt : | This book, furthermore, describes simulation-based and formal verification methods that are essential for achieving design confidence. |
| URI: | http://thuvienso.thanglong.edu.vn//handle/TLU/5739 |
| Bộ sưu tập | Khoa học máy tính - Toán |
XEM MÔ TẢ
13
XEM & TẢI
0
Danh sách tệp tin đính kèm:
