Verification of hazard, race and deadlock in GALS-circuit /
Đã lưu trong:
Tác giả chính: | Nguyen Quy Thuong. |
---|---|
Định dạng: | Bài viết |
Ngôn ngữ: | Vietnamese |
Những chủ đề: | |
Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Những quyển sách tương tự
-
Hazard removal solution by synchronization /
Bỡi: Nguyen Quy Thuong. -
Fewer monitors and more efficient controllability for deadlock control in S3PGR2 (Systems of simple sequential processes with general resource requirements) /
Bỡi: Chao, Daniel Y. -
Sequence of control in S3PMR /
Bỡi: Shih, Yu-Ying. -
Hazardous materials and hazardous waste management /
Bỡi: Woodside, Gayle, 1951-
Được phát hành: (1999) -
Hazardous materials and hazardous waste management /
Bỡi: Woodside, Gayle, 1951-
Được phát hành: (1999)