Item Infomation
| Title: | Embedded system design : modeling, synthesis and verification |
| Authors: | Daniel D. Gajski |
| Keywords: | Mã học phần TC418 | Embedded computer systems | Programmatuurtechniek | Embedded systems | Modellen (vorm) | Eingebettetes System | Hệ thống nhúng |
| Issue Date: | 2009 |
| Publisher: | Dordrecht ; New York : Springer, |
| Abstract: | 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 |
| Appears in Collections | Khoa học máy tính - Toán |
ABSTRACTS VIEWS
70
VIEWS & DOWNLOAD
0
Files in This Item:
