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!
|
| Tóm tắt: | This book, furthermore, describes simulation-based and formal verification methods that are essential for achieving design confidence. |
|---|