Embedded system design : modeling, synthesis and verification
This book, furthermore, describes simulation-based and formal verification methods that are essential for achieving design confidence.
Lưu vào:
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Thông tin xuất bản: |
Dordrecht ; New York : Springer,
2023
|
| Chủ đề: | |
| Truy cập trực tuyến: | http://thuvienso.thanglong.edu.vn//handle/TLU/5739 |
| Từ khóa: |
Thêm từ khóa bạn đọc
Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!
|
| id |
oai:localhost:TLU-5739 |
|---|---|
| record_format |
dspace |
| spelling |
oai:localhost:TLU-57392023-02-23T06:44:05Z Embedded system design : modeling, synthesis and verification Daniel D. Gajski Mã học phần TC418 | Embedded computer systems | Programmatuurtechniek | Embedded systems | Modellen (vorm) | Eingebettetes System | Hệ thống nhúng This book, furthermore, describes simulation-based and formal verification methods that are essential for achieving design confidence. 2023-02-23T06:44:04Z 2023-02-23T06:44:04Z 2009 Book http://thuvienso.thanglong.edu.vn//handle/TLU/5739 en application/pdf application/pdf Dordrecht ; New York : Springer, |
| institution |
Trường Đại học Thăng Long |
| collection |
DSpaceTLongU |
| language |
English |
| topic |
Mã học phần TC418 | Embedded computer systems | Programmatuurtechniek | Embedded systems | Modellen (vorm) | Eingebettetes System | Hệ thống nhúng |
| spellingShingle |
Mã học phần TC418 | Embedded computer systems | Programmatuurtechniek | Embedded systems | Modellen (vorm) | Eingebettetes System | Hệ thống nhúng Daniel D. Gajski Embedded system design : modeling, synthesis and verification |
| description |
This book, furthermore, describes simulation-based and formal verification methods that are essential for achieving design confidence. |
| format |
Book |
| author |
Daniel D. Gajski |
| author_facet |
Daniel D. Gajski |
| author_sort |
Daniel D. Gajski |
| title |
Embedded system design : modeling, synthesis and verification |
| title_short |
Embedded system design : modeling, synthesis and verification |
| title_full |
Embedded system design : modeling, synthesis and verification |
| title_fullStr |
Embedded system design : modeling, synthesis and verification |
| title_full_unstemmed |
Embedded system design : modeling, synthesis and verification |
| title_sort |
embedded system design : modeling, synthesis and verification |
| publisher |
Dordrecht ; New York : Springer, |
| publishDate |
2023 |
| url |
http://thuvienso.thanglong.edu.vn//handle/TLU/5739 |
| work_keys_str_mv |
AT danieldgajski embeddedsystemdesignmodelingsynthesisandverification |
| _version_ |
1769282289244569600 |